LambdaINet
Version 0.2.0.0 revision 0 uploaded by PaulLiu.
Package meta
- Synopsis
- Graphical Interaction Net Evaluator for Optimal Evaluation
- Description
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.
- Author
- n/a
- Bug reports
- n/a
- Category
- Application
- Copyright
- n/a
- Homepage
- not available
- Maintainer
- Paul H. Liu <paul@thev.net>
- Package URL
- n/a
- Stability
- n/a