@hackage LambdaINet0.1.2

Graphical Interaction Net Evaluator for Optimal Evaluation

Categories
License
BSD-3-Clause
Maintainer
Paul H. Liu <paul@thev.net>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.2.0.0 Tue, 2 Sep 2014
- 0.1.2.1 Sat, 21 Jan 2012
- 0.1.2 Tue, 15 Sep 2009
- 0.1.1 Tue, 15 Sep 2009
- 0.1.0 Mon, 14 Sep 2009

Installation
In your cabal file:
Dependencies (0)
- base >=3 && <5
- containers
- mtl
- GLFW
- OpenGL
Dependents (1)
@hackage/acme-everything

An experimental evaluator for Interaction Nets that encodes optimal and call-by-need stragtegies based on Lambdascope, with an interactive graphical interface based on OpenGL and GLFW. See the README in source for more information.

@hackage LambdaINet0.1.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)