This is a library providing a type-safe implementation of permutations.
$ idris --install permutations.ipkgThe most useful thing this library provides is a Group instance for
permutations. You can multiply two elements with <+>, invert with inverse,
an so on.
The Show instance for Permutation uses cycle notation. You can read more
here if you find it confusing.