2015-02-21 | Jim | Merge branch 'working' | blob | commitdiff |
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 |