@hackage funcons-lambda-cbv-mp0.1.0.0
Basic call-by-value lambda-calculus with operational semantics based on Funcons
Categories
License
BSD-3-Clause
Maintainer
ltvanbinsbergen@acm.org
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
Installation
Dependencies (0)
- base >=4.9 && <=5.0
- containers >=0.5.7
- funcons-tools >=0.2.0.3
- gll >=0.4.0.3
- text >=1.2.2 Show all…
Dependents (1)
@hackage/acme-everything