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