last commit before class, there are still some comments/TODOs for later
[lambda.git] / topics / _week4_fixed_point_combinator.mdwn
2015-02-19 jimlast commit before class, there are still some comments...
2015-02-19 chris(no commit message)
2015-02-19 jimanother round of cleanups
2015-02-19 jimlot of alpha-conversion
2015-02-19 jimmore formatting, will now add substance
2015-02-19 jimmore formatting
2015-02-19 jimtry to make notice bolder
2015-02-19 jimfirst pass, lots of formatting changes
2015-02-19 jimadd prefix
2015-02-18 Chrismoved fixed point for succ to exercises
2015-02-17 Christypo
2015-02-17 Christhe succ fixed point as arithmetic infinity
2015-02-17 Chrisedits
2015-02-17 chris(no commit message)
2015-02-17 Chrisedits for fixed-point
2015-02-17 Chrisreplace get_length with length
2015-02-12 JimMerge branch 'working'
2015-02-12 Chrisadded discussion of computation
2015-02-12 Chrismove computation discussion live
2015-02-12 Jimchomp more whitespace
2015-02-11 ChrisRewrite of the Y discussion