You should read up on Agda. Its standard library [0] does all this. [0] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary http://wiki.

You should read up on Agda. Its standard library [0] does all this. [0] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.S...