Tested on Ubuntu 14.04

INSTALL

   cabal build

RUN

   dist/build/lambda-cbv/lambda-cbv <PATH>

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