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
Change logNone available
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
DistributionsNixOS:0.2.0.0
Downloads883 total (62 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-22 [all 3 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees