The LambdaINet package
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.
Properties
| Versions | 0.1.0, 0.1.1, 0.1.2, 0.1.2.1 |
|---|---|
| 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 | Mon Sep 14 05:27:30 UTC 2009 |
| Uploaded by | PaulLiu |
| Build failure | ghc-6.10 (log) |
Downloads
- LambdaINet-0.1.0.tar.gz (Cabal source package)
- package description (included in the package)