CT hours (undergraduate lab):
| Sep 16th | t1.hs |
| Sep 18th | t2.hs |
| Sep 23th | t3.hs |
| Sep 25th | t4.hs |
| Sep 30th | t5.hs |
| Oct 2nd | t6.hs |
| Oct 7th | 521_sudoku_notes.pdf (rough draft) |
| Oct 18th | sud1.hs (ideas for implementation) |
| Oct 23rd | sud2.hs (ideas for implementation) |
| Oct 27th (conversions, reductions, equality, CR-Theorem) | t7.pdf |
| Oct 29th (data) | t8.pdf |
| Nov 4th (recursion and combinators) | t9.pdf (version 2) |
| Nov 13th (lambda calculus reduction) | reducer.hs |
| Nov 18th | Please see Robin's notes on rewriting |
| Nov 25th | TODO: pdf |
| Nov 27th | TODO: pdf Robin's notes |
| Dec 2nd | notes on caseTYPE term constructors |
| Dec 4th | notes on marking guide |
| Assignment 2, test cases (source, wikipedia) | human readible version and haskell version |