|
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
|
opening rant for OTT
|
Aug 23, 2013
|
|
|
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
|
tex tweaks
|
Aug 21, 2013
|
|
|
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
|