Agda.Utils.Permutation

data Permutation

permute

idP

takeP

composeP

invertP

compactP

reverseP

expandP

topoSort