Implementation of a type checker of lambda-P-omega in Haskell.
Current status:
- Parsing completed.
- Type checking still has some bugs.
Possible future additions:
- Simple type inference
- W types or inductive types
- Simple Print toplevel command
- Compilation