gallais / type-scope-semantics

A self-contained repository for the paper Type and Scope Preserving Semantics

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)