/pure

A verified compiler for a lazy functional language

Primary LanguageStandard MLOtherNOASSERTION

Stargazers