lambda.git
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
2015-02-14 jimadd map2 extra credit
2015-02-14 jimupdate with week3 links
2015-02-14 jimremove final "please wait..." notice
2015-02-14 jimpost homework3 and some more link-promises
2015-02-14 jimclarify dot rule
2015-02-14 jimclarify instructions
2015-02-14 jimclarify instructions
2015-02-14 jimformatting
2015-02-14 jimtweak
2015-02-14 jimtweak
2015-02-14 jimtweak
2015-02-14 jimtweak
2015-02-14 jimcreate page
2015-02-14 jimadd list_equal? and zero?, formatting
2015-02-12 jimtweaks, links
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 chris(no commit message)
2015-02-12 Chrisfixing computation discussion
2015-02-12 chris(no commit message)
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 Jimchomp whitespace
2015-02-12 Chrismerged in new exercises for week 3
2015-02-12 Chrisadded some exercises related to CL
2015-02-12 chris(no commit message)
2015-02-12 chris(no commit message)
2015-02-12 Chrismoved file live
2015-02-12 Chrisadded discussion of computation
2015-02-11 chrisadded link to Scott's history of the lambda calculus
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 jimfill in answers to 25
2015-02-10 jimexpand on Scheme heads
2015-02-10 jim#true in r7rs
2015-02-10 jimmove Real World OCaml
2015-02-10 jimadd stubs for week3
2015-02-10 JimMerge branch 'master' into working
2015-02-10 jimrename exercises/assignment2_answers.mdwn to exercises...
2015-02-10 jimjust link to hint for `reverse`
2015-02-10 jimcompare `cons`
2015-02-10 jimcreate page
2015-02-10 jimlink to answers1
2015-02-10 jimformatting, code style
2015-02-10 jimlink to answers to week1 homework
2015-02-10 jimcreate solutions
2015-02-09 jimredo hint links
2015-02-09 jimremoved
2015-02-09 jimcreate page
2015-02-09 jimcreate page
2015-02-09 jimreorganize, add some (as-yet-unlinked) titles for week 3
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...
2015-02-09 chris(no commit message)
2015-02-09 Chrisedits to combinatory logic
2015-02-09 ChrisAdding file on combinatory logic
2015-02-09 Chrisadded old CL text
2015-02-09 jimclarify constraints
2015-02-09 Christypo
2015-02-09 Chrisadjusting table of contents
2015-02-09 Jimexpand assignment3
2015-02-09 Jimmove images to images/
next