| 2015-02-05 | Jim | Merge branch 'master' into working | blob | commitdiff |
| 2015-02-05 | Chris | starting lambda calculus intro | blob | commitdiff |
| 2015-02-01 | Chris | stupid git | blob | commitdiff | diff to current |
| 2015-02-01 | Chris | adjustments, notes week 1 | blob | commitdiff | diff to current |
| 2015-02-01 | Jim | add stubs | blob | commitdiff | diff to current |