eviefp / logic-in-haskellLinks
Classical Logic in Haskell
☆24Updated 5 months ago
Alternatives and similar repositories for logic-in-haskell
Users that are interested in logic-in-haskell are comparing it to the libraries listed below
Sorting:
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last month
- Dependently typed Algorithm M and friends