edits
[lambda.git] / topics /
2015-02-22 jimadd paragraph about Little Schemer
2015-02-22 Chrisedits
2015-02-22 jimtweaks
2015-02-22 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda...
2015-02-22 jimadd explanatory paragraph
2015-02-22 ChrisMerge branch 'working'
2015-02-22 Chriswhy
2015-02-22 jimclean up last Q&A
2015-02-22 chris(no commit message)
2015-02-22 Chrisedits
2015-02-22 Chrisedits
2015-02-22 Chrisedits
2015-02-21 Chrisedits
2015-02-21 Chrisedits
2015-02-21 Chrisedits
2015-02-21 Chrisedits
2015-02-21 Chrisstarting lecture on types
2015-02-21 JimMerge branch 'working'
2015-02-21 Jimreplace tattoo image
2015-02-21 jimfix some markup
2015-02-20 jimadd anchor #deriving-y
2015-02-20 JimMerge branch 'working'
2015-02-20 jimrename topics/week4_more_fixed_points.mdwn to topics...
2015-02-20 jimcleanup
2015-02-20 Jimtweak comment
2015-02-20 jimAlpha-convert booleans
2015-02-20 Jimpush (old version of) q&a on fixed points
2015-02-20 jimclean up, move liar/truth-teller to separate document
2015-02-20 jimrename topics/_week4_fixed_point_combinators.mdwn to...
2015-02-20 jimrename topics/_week4_fixed_point_combinator.mdwn to...
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 anchor for imp
2015-02-19 jimadd prefix
2015-02-18 jimadd two sentences
2015-02-18 Chrismoved fixed point for succ to exercises
2015-02-18 jimmarkup and typos, add commented note
2015-02-18 jimfinish
2015-02-18 jimupdate
2015-02-18 jimupdate
2015-02-18 jimmarkup
2015-02-18 jimcreate page
2015-02-18 jimadd more anchors
2015-02-18 jimfurther refinements
2015-02-18 jimfix markup
2015-02-18 jimadd shortcut rule to translation, refined exposition
2015-02-18 jimAdd old translation scheme back in (commented out)...
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-17 Chrisadded disclaimer about revised lambda->CL map
2015-02-16 Chrisadjust
2015-02-16 Chrisswitched the map from lambda to CL back to Barendregt's
2015-02-15 jimcleanup
2015-02-15 jimadd #other-lists
2015-02-15 jimadd new encodings
2015-02-15 jimrefinements
2015-02-14 jimglossary for joke
2015-02-14 jimadd Lennon link
2015-02-14 jimcleanup
2015-02-14 jimtweak omega names
2015-02-14 jimadd names for omega and Omega
2015-02-14 jimtweak
2015-02-14 jimclean up
2015-02-14 jimtweak
2015-02-14 jimalignment
2015-02-14 jimCleanup and finish
2015-02-14 jimcreate page
2015-02-14 jimclarify dot rule
2015-02-12 jimadd anchors
2015-02-12 Jimcombinatory tweaks and formatting shared
2015-02-12 Jimcombinatory tweaks and formatting
2015-02-12 Jimcombinatory tweaks and formatting
2015-02-12 Jimcombinatory tweaks and formatting
2015-02-12 JimMerge branch 'working'
2015-02-12 Jimtweak combinatory
2015-02-12 Jimtweak combinatory
2015-02-12 Chrisfixing computation discussion
2015-02-12 Chrisadded discussion of computation
2015-02-12 Chrismove computation discussion live
2015-02-12 Jim->combinatory
2015-02-12 Jimchomp more whitespace
2015-02-12 Chrismoved file live
2015-02-12 Chrisadded discussion of computation
2015-02-11 ChrisRewrite of the Y discussion
2015-02-10 JimMerge branch 'master' into working
2015-02-10 Jimadd eval_order (raw)
2015-02-10 JimMerge branch 'master' into working
2015-02-09 jimadd anchors
2015-02-09 jimtweak explanation of why `f` is curried
2015-02-09 jimclarify why Lambda Calculus prefers curried functions...
next