GitHub - andykitchen/curry-howard-iso: Example of the Curry Howard isomorphism

8000 GitHub - andykitchen/curry-howard-iso: Example of the Curry Howard isomorphism

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits 6182
curry-howard-incomplete.hs		curry-howard-incomplete.hs
curry-howard.hs		curry-howard.hs
no-true-scottsman.txt		no-true-scottsman.txt

About

Example of the Curry Howard isomorphism

No releases published

No packages published