markus v0.1.1 Markus.Logic

Link to this section Summary

Link to this section Functions

Link to this function all_different(as, comparer \\ &!=/2)