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
Closure Calculus
TODO
module
stlc.clos
where