hackage.haskell.org : lambda
A collection of interpreters, type checkers, and REPLs implemented in Haskell. Currently, the following languages are supported: Untyped lambda calculus SK combinator calculus System F Hindley-Milner type system Calculus of constructions You can access the different REPLs by passing an argument to the executable: "lambda", "sk", "systemf", "hm", or "coc". For more information, see the manual below.
Registry
-
Source
- JSON
purl: pkg:hackage/lambda
Keywords:
compilers-interpreters
, mit
, program
, Propose Tags
License: MIT
Latest release: about 3 years ago
First release: about 3 years ago
Dependent repositories: 3
Downloads: 139 total
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 14 days ago