git import of patrick perry permutations lib from darcs
Why do you think that https://github.com/dorchard/type-level-sets is a good alternative to permutation
git import of patrick perry permutations lib from darcs
Why do you think that https://github.com/dorchard/type-level-sets is a good alternative to permutation