- Notation for types - Notation for pack and unit - Better (?) levels for the relational judgement
Attach a file by drag & drop or click to upload
