DIJamner / paramblame

Artifact for ICFP paper "Theorems for Free for Free"

Install via opam

SETUP:

• install opam, and via opam, install ocaml 4.03 with opam init --comp 4.03.
• make install-deps (if this were to fail, see the local opam file for dependencies)

BUILD:

• make

EDITOR:

• Open artifact/index.html in a browser.

RUN TESTS:

• ./test.native

Install via docker

SETUP

• install docker
• docker build -t paramblame .

EDITOR:

• Copy built javascript file: docker run --rm paramblame cat /paramblame/artifact/web.js > artifact/web.js
• Open artifact/index.html in a browser.

RUN TESTS:

• docker run paramblame