How about Agda? It has the interesting property that it's runtime-error proof. http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.IntroWhat http:

How about Agda? It has the interesting property that it's runtime-error proof. http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.IntroWhat http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceMa...