| 2015-02-20 | jim | Alpha-convert booleans | blob | commitdiff |
| 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 |