Skip to content
forked from dbp/funtal

Artifact for ICFP paper "Theorems for Free for Free"

Notifications You must be signed in to change notification settings

DIJamner/paramblame

 
 

Repository files navigation

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

About

Artifact for ICFP paper "Theorems for Free for Free"

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • JavaScript 81.1%
  • OCaml 13.5%
  • HTML 2.9%
  • CSS 2.1%
  • Makefile 0.2%
  • Standard ML 0.2%