https://github.com/mikkelmilo/hs-proofs-with-types

A 'Propositions as types' (ie. Curry-Howard Correspondence) example in Haskell
https://github.com/mikkelmilo/hs-proofs-with-types

Last synced: 8 days ago
JSON representation

A 'Propositions as types' (ie. Curry-Howard Correspondence) example in Haskell

• Host: GitHub
• URL: https://github.com/mikkelmilo/hs-proofs-with-types
• Owner: mikkelmilo
• License: bsd-3-clause
• Created: 2019-02-12T16:43:36.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-02-18T09:53:45.000Z (over 5 years ago)
• Last Synced: 2023-08-06T07:05:47.851Z (over 1 year ago)
• Language: Haskell
• Homepage:
• Size: 16.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project