MetaprogAgda

being the materials for Summer 2013's course

Name	Name	Last commit message	Last commit date
Latest commit pigworker agda files Aug 5, 2013 4fb95e0 · Aug 5, 2013 History 31 Commits
Basics.agda	Basics.agda	agda files	Aug 5, 2013
Exe1.agda	Exe1.agda	agda files	Aug 5, 2013
Lec1.agda	Lec1.agda	agda files	Aug 5, 2013
Makefile	Makefile	opening salvo	Jul 17, 2013
README.md	README.md	Create README.md	Jul 30, 2013
STLC.lagda	STLC.lagda	added the jigger	Aug 5, 2013
Vec.lagda	Vec.lagda	agda files	Aug 5, 2013
notes.bib	notes.bib	added bib file	Aug 2, 2013
notes.lagda	notes.lagda	lambda calculus!	Aug 4, 2013
notes.pdf	notes.pdf	agda files	Aug 5, 2013

Provide feedback