LambdaINet

Graphical Interaction Net Evaluator for Optimal Evaluation

not available

Latest on Hackage:0.2.0.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed
Maintained by Paul H. Liu

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.