The LambdaINet package

[Tags: bsd3, program]

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

Versions0.1.0, 0.1.1, 0.1.2, 0.1.2.1, 0.2.0.0
Dependenciesbase (>=3 && <5), containers, GLFW, mtl, OpenGL
LicenseBSD3
MaintainerPaul H. Liu <paul@thev.net>
CategoryApplication
Home pagenot available
ExecutablesLambdaINet
UploadedMon Sep 14 05:27:30 UTC 2009 by PaulLiu
Downloads550 total (41 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees