This is a prototype implementation for the small typed lambda-calculus described in our paper "Open Closure Types". # Dependencies To be able to build the source, you will need the following OCaml libraries and programs (a recent-enough version provided by your package manager should suffice): - OCaml (at least 3.12), the implementation language http://caml.inria.fr/ocaml/release.en.html - Menhir, a parser generator http://gallium.inria.fr/~fpottier/menhir/menhir-20130116.tar.gz - Ulex, an unicode-aware lexer generator http://www.cduce.org/download/ulex-1.1.tar.gz - PPrint, a pretty-printing library http://gallium.inria.fr/~fpottier/pprint/pprint-20130324.tar.gz - Batteries, an extension of the standard library http://forge.ocamlcore.org/frs/?group_id=17 or https://github.com/ocaml-batteries-team/batteries-included/releases # Compilation and usage A minimal Makefile is proposed to command the `ocamlbuild` build system. The rules make all and make clean should suffice. The rule make all will produce an executable closures.byte in the current directory that provides a command-line interface to our implementation – the only interface at present. Invoking it with no options, ./closures.byte will prompt an help message detailing the available command.