The latest version of glambda is 1.0.2-0.
glambda
Version 1.0 revision 0 uploaded by RichardEisenberg.
Package meta
- Synopsis
- A simply typed lambda calculus interpreter, written with GADTs
- Description
This is an interpreter for the simply-typed lambda calculus. It is written making heavy use of generalized algebraic datatypes (GADTs), and is meant to serve as an example how how these GADTs can be useful. See the GitHub repo for more information about the syntax for the language and interpreter commands.
- Author
- Richard Eisenberg <eir@cis.upenn.edu>
- Bug reports
- https://github.com/goldfirere/glambda/issues
- Category
- Compilers/Interpreters
- Copyright
- n/a
- Homepage
- https://github.com/goldfirere/glambda
- Maintainer
- Richard Eisenberg <eir@cis.upenn.edu>
- Package URL
- n/a
- Stability
- unknown