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

Components