lambda.git
2015-02-20 jimcreate page
2015-02-20 jimadd link to hint
2015-02-20 chris(no commit message)
2015-02-20 jimrevised inf arithmetic question again, like to ordinals...
2015-02-20 jimremind about section shorthand
2015-02-20 jimmarkup
2015-02-20 jimtweak inf arithmetic comment
2015-02-20 jimunfortunately, the infinite arithmetic question's argum...
2015-02-20 jimcaps
2015-02-20 jimadd more list functions to set question
2015-02-20 jimneed empty? for set questions
2015-02-20 jimupdate links
2015-02-20 jimadd anchor #deriving-y
2015-02-20 jimmarkup
2015-02-20 jimadd chris's YY question, further refinements elsewhere
2015-02-20 jimupdate some functions
2015-02-20 jimmore cleanup
2015-02-20 jimsome cleanup, add set question
2015-02-20 JimMerge branch 'working'
2015-02-20 jimposted more about... for week 4
2015-02-20 jimposted more about... for week 4
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 week 3
2015-02-20 jimpost main Y notes, stubs for others
2015-02-20 jimpost main Y notes
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-19 chris(no commit message)
2015-02-19 chris(no commit message)
2015-02-19 chris(no commit message)
2015-02-19 Chrisadded exercises
2015-02-19 jimpost stubs for week4
2015-02-19 Jimadd some images
2015-02-18 jimadd two sentences
2015-02-18 Christypos
2015-02-18 Chrisadded draft of assignment4
2015-02-18 Chrismoved fixed point for succ to exercises
2015-02-18 jimmarkup and typos, add commented note
2015-02-18 jimlink to Unit
2015-02-18 jimlink to Unit
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 jimpost answers
2015-02-18 jimrename exercises/_assignment2_answers.mdwn to exercises...
2015-02-18 jimpost Hankin Chapter 4 reading, answers to homework 2
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-16 jimtweak
2015-02-15 jimcleanup
2015-02-15 jimKyle pointed out we had them define head in terms of...
2015-02-15 jimupdate links
2015-02-15 jimupdate links
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 jimreorder
2015-02-14 jimclean up
2015-02-14 jimtweak
2015-02-14 jimalignment
2015-02-14 jimpost arithmetic
2015-02-14 jimpost arithmetic
2015-02-14 jimCleanup and finish
2015-02-14 jimcreate page
2015-02-14 jimMove map2 question
next