CoCaml

To compile
----------
make

To clean up the compiled files
------------------------------
make clean

To run the interactive interpreter
----------------------------------
./cocaml.exe

Examples
--------
Examples can be found in the Examples/ subdirectory.
An example can be run directly from the toplevel using:
./cocaml.exe "Examples/padic.ml"
An example can also be run using the #load directive in the interactive
interpreter, for example:
#load "Examples/padic.ml";;
Alternatively, an example can be copied and pasted in the interactive
interpreter. In this case, as in OCaml, a double semi-column needs to
be added to launch the interpretation.

Structure of the code
---------------------
The main interpreter is in the root directory. Corec/ contains the
definition of corecursive equality and the different solvers. Types/
contains the type inference. Parser/ contains the lexer and the
parser.
