| 2015-02-22 | Chris | Merge branch 'master' of main.jimpryor.net:/srv/lambda... | blob | commitdiff |
| 2015-02-22 | jim | add explanatory paragraph | blob | commitdiff |
| 2015-02-21 | Jim | Merge branch 'working' | blob | commitdiff | diff to current |
| 2015-02-21 | Jim | replace tattoo image | blob | commitdiff | diff to current |
| 2015-02-20 | jim | add anchor #deriving-y | blob | commitdiff | diff to current |
| 2015-02-20 | Jim | Merge branch 'working' | blob | commitdiff | diff to current |
| 2015-02-20 | jim | Alpha-convert booleans | blob | commitdiff | diff to current |
| 2015-02-20 | jim | clean up, move liar/truth-teller to separate document | blob | commitdiff | diff to current |
| 2015-02-20 | jim | rename topics/_week4_fixed_point_combinators.mdwn to... | blob | commitdiff | diff to current |