purescript-meaning-explanations

March 5, 2018 ยท View on GitHub

Programs as proofs and proofs as programs