@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
- Changelog
- 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
- funcons-tools >=0.2.0.5
- gll >=0.4.0.3
- text >=1.2.2
Dependents (1)
@hackage/acme-everything

Tested on Ubuntu 14.04

INSTALL

cabal build

RUN

dist/build/lambda-cbv/lambda-cbv

For example: dist/build/lambda-cbv/lambda-cbv programs/fib-double-cbna.cbv

TESTS

./run-tests.sh

should produce the same output provided in full.output