The LambdaINet package
An experimental evaluator for Interaction Nets that encodes optimal and call-by-need strategies 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 (≥0.5.0.0), mtl, OpenGL |
| License | BSD3 |
| Maintainer | Paul H. Liu <paul@thev.net> |
| Category | Application |
| Home page | not available |
| Executables | LambdaINet |
| Upload date | Sat Jan 21 09:53:42 UTC 2012 |
| Uploaded by | PaulLiu |
Downloads
- LambdaINet-0.1.2.1.tar.gz (Cabal source package)
- package description (included in the package)