@hackage funcons-lambda-cbv-mp0.1.0.2

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

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