LambdaINet: Graphical Interaction Net Evaluator for Optimal Evaluation
An experimental evaluator for Interaction Nets that encodes optimal and call-by-need stragtegies based on Lambdascope, with an interactive graphical interface based on OpenGL and GLFW. See the README in source for more information.
| Versions | 0.1.0, 0.1.1, 0.1.2 |
|---|---|
| Dependencies | base (>=3 && <5), containers, GLFW, mtl, OpenGL |
| License | BSD3 |
| Maintainer | Paul H. Liu <paul@thev.net> |
| Category | Application |
| Home page | not available |
| Executables | LambdaINet |
| Upload date | Tue Sep 15 13:11:01 UTC 2009 |
| Uploaded by | PaulLiu |
| Build failure | ghc-6.10 (log) |
| Distributions | Arch: 0.1.2 |
Downloads
- LambdaINet-0.1.2.tar.gz (Cabal source package)
- package description (included in the package)