2015-02-17 | Chris | typo | blob | commitdiff |
2015-02-17 | Chris | the succ fixed point as arithmetic infinity | blob | commitdiff | diff to current |
2015-02-17 | Chris | edits | blob | commitdiff | diff to current |
2015-02-17 | chris | (no commit message) | blob | commitdiff | diff to current |
2015-02-17 | Chris | edits for fixed-point | blob | commitdiff | diff to current |
2015-02-17 | Chris | replace get_length with length | blob | commitdiff | diff to current |
2015-02-12 | Jim | Merge branch 'working' | blob | commitdiff | diff to current |
2015-02-12 | Chris | added discussion of computation | blob | commitdiff | diff to current |
2015-02-12 | Chris | move computation discussion live | blob | commitdiff | diff to current |
2015-02-12 | Jim | chomp more whitespace | blob | commitdiff | diff to current |
2015-02-11 | Chris | Rewrite of the Y discussion | blob | commitdiff | diff to current |