Interpreters for lambda calculus, calculus of constructions, and other languages
Loading...
Links
- Source: https://github.com/UnaryPlus/lambda
- JSON API: repos.ecosyste.ms
-
PURL:
pkg:github/UnaryPlus/lambda
Repository Details
- Stars 6
- Forks 2
- Open issues 0
- License mit
- Language Haskell
- Size 89.8 KB
- Created at almost 4 years ago
- Updated at 3 months ago
- Pushed at over 3 years ago
- Last synced at 2 months ago
- Dependencies parsed at Pending