full types of the form A=>X; minimal syntax
simplify syntax and adapt printer
warning for non-variable index annotations
polish type inference
translated euler; started type checker for ssa code
change euler to make use of full A->X
update fib_cps example
simplify main program
simplification; ssa printing
type checking of ssa terms
add .merlin file
documentation
tidying up
pair types
update alloc.int example
bugfixes for pairs; test program
update readme and add example for boxed types
documentation
documentation
documentation