lambda.git
2015-02-24 Chrisedits
2015-02-24 Chrisedits
2015-02-24 Chrispred in system F
2015-02-24 jimadd comment
2015-02-24 jimposted week3-evaluation order
2015-02-24 jimpost week3-evaluation order
2015-02-24 jimrename topics/_week3_eval_order.mdwn to topics/week3_ev...
2015-02-24 jimcleanup
2015-02-23 Chrisedits
2015-02-23 Chrisedits
2015-02-23 Chrisdefined system f
2015-02-23 Chrisdefined system f
2015-02-23 jimtypos
2015-02-23 jimadd note about generalization
2015-02-23 jimadd note about generalization
2015-02-23 jimdelete cruft
2015-02-23 Chrisadjustments
2015-02-23 Chrisadjustments
2015-02-23 Chrisedits
2015-02-23 Chrisedits
2015-02-23 chris(no commit message)
2015-02-23 ChrisMerge branch 'working'
2015-02-23 Chrisedits in eval order
2015-02-23 jimpost answers
2015-02-23 jimpost week 3 answers
2015-02-23 jimfix link
2015-02-23 jimadd <a id=flipped-cons>
2015-02-23 jimcreate page
2015-02-23 chris(no commit message)
2015-02-23 Chrisincorporated
2015-02-23 jimadd <a id=cps-reverse>
2015-02-23 Chrisedits
2015-02-23 Chrisadded discussion of Montague's PTQ
2015-02-23 jimnot WIP
2015-02-23 jimtweak
2015-02-23 jimnote on Little Schemer Ch. 8
2015-02-23 jimMore comments on The Little Schemer, non-total functions
2015-02-23 jimfix link
2015-02-23 jimadd Q comparing our exposition to The Little Schemer's
2015-02-23 jimadd <a id=little-h>
2015-02-23 jimThe Little Schemer's eternity
2015-02-23 jimadd comment about The Little Schemer
2015-02-23 jimadd note about The Little Schemer
2015-02-23 jimadd comment about The Little Schemer
2015-02-23 jimformatting
2015-02-23 jimadd comments about The Little Schemer
2015-02-22 jimformatting
2015-02-22 jimadd suggestion about leaf? function
2015-02-22 ChrisAdded system F
2015-02-22 jimtweaks
2015-02-22 Chrisstupid git
2015-02-22 Chrisedits
2015-02-22 jimmissing paren
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 jimadd head to list functions
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 Christypos
2015-02-21 Chrisre-solved the mutual recursion problem, just for fun...
2015-02-21 JimMerge branch 'working'
2015-02-21 Jimreplace tattoo image
2015-02-21 jimfix some markup
2015-02-20 jimpost homework4
2015-02-20 jimpost homework4
2015-02-20 jimrename exercises/_assignment4.mdwn to exercises/assignm...
2015-02-20 jimpost tree questions
2015-02-20 jimtweak
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'
next