The LambdaINet package

[Tags: bsd3, program]

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

Versions0.1.0, 0.1.1, 0.1.2, 0.1.2.1, 0.2.0.0
Dependenciesbase (>=3 && <5), containers, GLFW (>=0.5.0.0), mtl, OpenGL
LicenseBSD3
MaintainerPaul H. Liu <paul@thev.net>
CategoryApplication
Home pagenot available
ExecutablesLambdaINet
UploadedSat Jan 21 09:53:42 UTC 2012 by PaulLiu
Downloads550 total (36 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees