type-scope-semantics A self-contained repository for the paper Type and Scope Preserving Semantics TypeChecking To compile this project, you will need: Agda version 2.5.4.2 (available on Hackage) Agda's standard library version 0.17 (available on github)