jheiling/idris-extras

Some useful functions for idris

IdrisUnlicense