melvar / idris-utils Goto Github PK
View Code? Open in Web Editor NEWThis project forked from david-christiansen/idris-utils
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
License: MIT License