Initial commit
kickoff
opening salvo
topic overview (vague)
more detailed cabal wrangling instructions
a big chunk of prelude stuff
more chapter 2
Ex1 is go!
lec material in repo
Hutton's Razor starting
lecture 4
Add stuff to prelude.
Add exercise 2.
Add exercise 2 target to makefile and sed file for replacing stuff.
Add some more commands to the Agda-mode cheat sheet.
Add two more emacs keystrokes.
Tuesday's tutorial is in LT not GH...
Add conjection of booleans to prelude.
Add lecture 5; well-typed evaluator predicate-style.
Add a file that might be the basis for the next lecture.