permutations. Provides a type-safe way of working with permutations in Idris

github.com/vmchale/permutations
by @vmchale

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.