Agda, Finally...
STLC
Basics
Properties
Bigstep
Natural Semantics
Normalization
Semantic Typing
Strengthening
Substitution
Closure Calculus
Extra
Unscoped
Explicit Substitutions
Recursive Types
System F
Misc
Test
Github
Unscoped
TODO
module
extra.unscoped
where