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 (>=0.5.0.0), GLFW (>=0.5.0.0), GLFW-task, monad-task, mtl, OpenGL, transformers, vector
LicenseBSD3
MaintainerPaul H. Liu <paul@thev.net>
CategoryApplication
Home pagenot available
ExecutablesLambdaINet
UploadedTue Sep 2 02:13:04 UTC 2014 by PaulLiu
DistributionsNixOS:0.2.0.0
Downloads818 total (50 in last 30 days)
StatusDocs not available [build log]
Last success reported on 2015-05-18 [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees