@hackage graph-rewriting-lambdascope0.4.8

Implementation of Lambdascope as an interactive graph-rewriting system

Categories
- Compilers and Interpreters
- Mathematics
License
BSD-3-Clause
Maintainer
jan@rochel.info
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.5.11 Mon, 18 Mar 2024
- 0.5.10 Tue, 23 May 2017
- 0.5.9 Wed, 17 May 2017
- 0.5.8 Fri, 5 Feb 2016
- 0.5.7 Fri, 5 Feb 2016
- 0.5.6 Thu, 23 Oct 2014

Installation
In your cabal file:
Dependencies (0)
- base >=4 && <4.4
- parsec >=2.1 && <2.2
- GLUT >=2.2 && <2.3
- IndentParser >=0.2 && <0.3
- OpenGL >=2.4 && <2.5
- base-unicode-symbols >=0.2 && <0.3
Dependents (1)
@hackage/acme-everything

Lambdascope is an optimal implementation of the λβ-calculus described in the paper "Lambdascope - Another optimal implementation of the lambda-calculus" by Vincent van Oostrom, Kees-Jan van de Looij, and Marijn Zwitserlood. Examples of lambda terms are supplied in the "examples" directory.

@hackage graph-rewriting-lambdascope0.4.8

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)