GitHub repository: vmchale/permutations
Primary language: Idris
Description: Provides a type-safe way of working with permutations in Idris