@hackage / graph-rewriting-lambdascope

Lambdascope, an optimal evaluator of the lambda calculus

Latest0.5.11

Dependencies

executable:lambdascope (11 dependencies)

@hackage / graph-rewriting Monadic graph rewriting of hypergraphs with ports and multiedges
- Version: >=0.7.8 && <0.9
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / OpenGL A binding for the OpenGL graphics system
- Version: >=3.0 && <4
- License: BSD-3-Clause
@hackage / base-unicode-symbols Unicode alternatives for common functions and operators
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=1.1 && <2.3
- License: BSD-3-Clause
@hackage / indentparser A parser for indentation based structures
- Version: >=0.1 && <0.2
- License: LicenseRef-PublicDomain
@hackage / graph-rewriting-layout Force-directed node placement intended for incremental graph drawing
- Version: >=0.5.4 && <0.6
- License: BSD-3-Clause
@hackage / graph-rewriting-gl OpenGL interface for interactive port graph rewriting
- Version: >=0.7.6 && <0.8
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1 && <3.2
- License: BSD-2-Clause
@hackage / graph-rewriting-strategies Evaluation strategies for port-graph rewriting systems
- Version: >=0.2.4 && <0.3
- License: BSD-3-Clause
@hackage / GLUT A binding for the OpenGL Utility Toolkit
- Version: >=2.2 && <3
- License: BSD-3-Clause