@hackage funcons-lambda-cbv-mp0.1.0.0

Basic call-by-value lambda-calculus with operational semantics based on Funcons

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything