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 (>=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
Upload dateTue Sep 2 02:13:04 UTC 2014
Uploaded byPaulLiu
Downloads535 total (71 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees