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