Implementation of a lexer and parser for System F. For the moment, parse the entire file and evaluate/type-check the expression. Improvement/TODO:
Allow to use
;;to end an expression => it allows to write multiple expressions in the same file.
- Remove useless comments.
Undo changes about printing characters (like
∀). It was only for ease of reading. It implies to change the symbol in the lexer.