hackage.haskell.org : lambda : 0.1.0.0
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 -
Download -
JSON -
codemeta.json
purl: pkg:hackage/lambda@0.1.0.0
Published:
Indexed:
Loading...
Readme
Loading...