https://github.com/lukeg101/lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
https://github.com/lukeg101/lplzoo
haskell-learning lambda-calculus language-design quickcheck type-theory
Last synced: about 1 year ago
JSON representation
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
- Host: GitHub
- URL: https://github.com/lukeg101/lplzoo
- Owner: lukeg101
- License: gpl-3.0
- Created: 2018-03-21T18:45:25.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2021-07-11T13:36:39.000Z (almost 5 years ago)
- Last Synced: 2025-05-08T17:54:01.684Z (about 1 year ago)
- Topics: haskell-learning, lambda-calculus, language-design, quickcheck, type-theory
- Language: Haskell
- Homepage:
- Size: 1.96 MB
- Stars: 36
- Watchers: 2
- Forks: 2
- Open Issues: 1