@hackage funcons-lambda-cbv-mp0.1.0.2

call-by-value lambda-calculus with meta-programming

Categories
License
BSD-3-Clause
Maintainer
ltvanbinsbergen@acm.org
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0.2 Sun, 8 Jul 2018
- 0.1.0.0 Sat, 7 Jul 2018

Installation
In your cabal file:
Dependencies (0)
- base >=4.3 && <=5.0
- containers >=0.5.7
- text >=1.2.2
- funcons-tools >=0.2.0.5
- gll >=0.4.0.3
Dependents (1)
@hackage/acme-everything

Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions