Typer

How to build Typer

Status

Requirement

Ocaml 4.01

Build

By default ocamlbuild creates a '_build' folder which holds all the compiled files.

make typer: build typer interpreter './typer'
make debug: build typer with debug info './debug_util'
make tests: run interpreter's tests './tests/utests'

Directory layout

src/ interpreter's source
doc/ interpreter's doc files
sample/ typer code sample for testing purposes
tests/ ocaml test files
btl/ builtin typer library

Emacs files

/typer-mode.el