PER vs. traditional
Issue #10
new
Formalise the raw syntax of type theory and the following two versions of typing relations:
- traditional way
- PER
Show that the two definitions are equivalent.