| Copyright | (C) 2015 Richard Eisenberg |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Richard Eisenberg (eir@cis.upenn.edu) |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Glambda.Repl
Description
Implements a REPL for glambda.
glambda-1.0.1: A simply typed lambda calculus interpreter, written with GADTs
| Copyright | (C) 2015 Richard Eisenberg |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Richard Eisenberg (eir@cis.upenn.edu) |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Glambda.Repl
Description
Implements a REPL for glambda.