Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/Kwasniok/LambdaCalculus
lambda calculus in haskell
https://github.com/Kwasniok/LambdaCalculus
evaluation haskell lambda-calculus lambda-expressions parse valid
Last synced: 3 months ago
JSON representation
lambda calculus in haskell
- Host: GitHub
- URL: https://github.com/Kwasniok/LambdaCalculus
- Owner: Kwasniok
- License: bsd-3-clause
- Created: 2020-10-20T00:30:42.000Z (about 4 years ago)
- Default Branch: default
- Last Pushed: 2020-11-01T19:55:14.000Z (about 4 years ago)
- Last Synced: 2024-04-26T04:33:31.823Z (7 months ago)
- Topics: evaluation, haskell, lambda-calculus, lambda-expressions, parse, valid
- Language: Haskell
- Homepage:
- Size: 37.1 KB
- Stars: 4
- Watchers: 1
- Forks: 0
- Open Issues: 0