Dino

New type-checker, and old type-checker.

yellow

Update:

• merged the web interface into the main module

Working:

• typechecking working on terms
• derivation builder is better than evaluator

Not Working:

• inference
• evaluator on some more complex terms

To Improve:

• everything
• ugly interpreter

zinc-0

Notes:

• an initial working fuser and type-checker;
• no primitives, the only typeable element is * and types related to =>;

Future:

• integrate primitives (bool, int)

egg

Gamma version, i.e. pre-beta.

There are still many things which need addressing:

• capture avoidance is non-existing,
• closures are non-existing,
• parser is yet to work on all terms.

With this being said there are a limited number of features which do work:

• there is a REPL,
• there is a working parser,
• there is a working evaluator (with the above disclosure).