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

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
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