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
Dependenciesbase (>=3 && <5), containers, GLFW (>=0.5.0.0), mtl, OpenGL
LicenseBSD3
MaintainerPaul H. Liu <paul@thev.net>
CategoryApplication
Home pagenot available
ExecutablesLambdaINet
Upload dateSat Jan 21 09:53:42 UTC 2012
Uploaded byPaulLiu
Downloads320 total (30 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees