lambda
Version 0.1.0.0 revision 0 uploaded by OwenBechtel.
Package meta
- Synopsis
- Interpreters for lambda calculus, calculus of constructions, and more
- Description
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.
- Author
- Owen Bechtel
- Bug reports
- https://github.com/UnaryPlus/lambda/issues
- Category
- Compilers/Interpreters
- Copyright
- n/a
- Homepage
- https://github.com/UnaryPlus/lambda
- Maintainer
- ombspring@gmail.com
- Package URL
- n/a
- Stability
- n/a