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

Downloads

Maintainers' corner

For package maintainers and hackage trustees