being the materials for Summer 2013's course
Switch branches/tags
Nothing to show
Latest commit c8b30ef Nov 28, 2013 @pigworker save the file, dimwit
Permalink
Failed to load latest commit information.
Basics.agda added Exe0 Nov 14, 2013
Containers.lagda indexed containers are go Aug 7, 2013
Exe0.agda Lec2 and Lec3 for Edinburgh Nov 28, 2013
Exe1.agda indexed containers are go Aug 7, 2013
Exe2.agda bogloads of loverley homework Aug 6, 2013
Exe3.agda Exe3 is go Aug 26, 2013
Exe4.agda Exe4 is now available Aug 26, 2013
Exe5.agda exercises for chapter 5 Aug 26, 2013
Exe6.agda Exe6 is go Aug 26, 2013
Hello.agda hello Nov 14, 2013
IR.lagda post-lecture typo/thinko fixes Aug 26, 2013
IRDS.lagda post-lecture typo/thinko fixes Aug 26, 2013
IRIF.lagda exercises for chapter 5 Aug 26, 2013
IxCon.lagda minor edits; Lec5 skeleton Aug 26, 2013
Lec1.agda Lec2 and Lec3 for Edinburgh Nov 28, 2013
Lec2.agda Lec2 and Lec3 for Edinburgh Nov 28, 2013
Lec3-Cam.agda Lec2 and Lec3 for Edinburgh Nov 28, 2013
Lec3.agda save the file, dimwit Nov 28, 2013
Lec4.agda synching Aug 19, 2013
Lec5.agda post-lecture typo/thinko fixes Aug 26, 2013
Lec6.agda added Exe0 Nov 14, 2013
Makefile TTinTT started Aug 26, 2013
NormF.lagda made it to vector calculus Aug 20, 2013
NormT.lagda post-lecture typo/thinko fixes Aug 26, 2013
Normal.lagda made it to vector calculus Aug 20, 2013
OTT.lagda TTinTT started Aug 26, 2013
Proving.lagda
README.md Create README.md Jul 30, 2013
STLC.lagda fixed formatting error Sep 28, 2013
TTinTT.lagda TTinTT started Aug 26, 2013
Vec.lagda
notes.bib added bib file Aug 2, 2013
notes.lagda TTinTT started Aug 26, 2013
notes.pdf post-lecture typo/thinko fixes Aug 26, 2013

README.md

MetaprogAgda

being the materials for Summer 2013's course