/purescript-meaning-explanations

Meaning explanations, or, proof-carrying code is easy

Primary LanguagePureScript

Stargazers