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
- codemeta.json
purl: pkg:hackage/lambda
Keywords:
compilers-interpreters
, mit
, program
, Propose Tags
License: MIT
Latest release: over 3 years ago
First release: over 3 years ago
Dependent repositories: 3
Downloads: 150 total
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago