@hackage / funcons-lambda-cbv-mp

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

Latest0.1.0.2

About

Metadata

  • Last updated , by ltvanbinsbergen
  • License BSD-3-Clause

  • Maintained by: ltvanbinsbergen@acm.org

  • Lottery factor: 0

Links

Installation

Readme

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