Code for the Agda tutorial at TPHOLs 2009
Basics.agda
Expr.agda
Semantics.agda
Example.agda