@hackage lambda0.1.0.0

Interpreters for lambda calculus, calculus of constructions, and more

Categories
- Compilers and Interpreters
License
MIT
Maintainer
ombspring@gmail.com
Links
Versions
- 0.1.0.0 Thu, 28 Jul 2022

Installation
In your cabal file:
Dependencies (0)
- base >=4.11 && <5
- containers >=0.5 && <0.7
- mtl >=2.2.1 && <2.3
- parsec >=3.1.6 && <3.2
- text >=0.7 && <2.1
Dependents (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.

@hackage lambda0.1.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)