GitHub repository: silky/curry-howard-iso
Primary language: Haskell
Description: Example of the Curry Howard isomorphism