exx
[lambda.git] / exercises /
2015-03-14 Chrisexx
2015-03-14 Chrisedits
2015-03-14 Chrisedits
2015-03-14 Chrisexercises
2015-03-14 Chrisdeveloping exx
2015-03-14 Chrisadded reduction code
2015-03-14 Chrisass 6
2015-03-14 Chrismove
2015-03-14 Chrishw6
2015-03-14 Chrisedits
2015-03-12 Chrisedits
2015-03-11 Chrisadded exercise
2015-03-09 Chrisedits
2015-03-09 Chrisstarted exercises
2015-03-08 jimsimplify Haskell
2015-03-08 jimadd comments about Haskell
2015-03-08 jimtweak explanation
2015-03-08 jimadd more about numbers
2015-03-08 jimcreate page
2015-03-08 jimrenumber yet again, please stick
2015-03-08 jimrenumber hint again
2015-03-08 jimrenumber hint
2015-03-08 jimcancel the System F lists -> OCaml
2015-03-04 jimreword problem
2015-03-04 jimadd hint for tree enumeration
2015-03-04 jimcreate page
2015-03-01 Chrisassignment5 live
2015-03-01 jimtweak types for list encoding
2015-03-01 jimmore precise Pierce link
2015-03-01 jimlink to hint
2015-03-01 jimcreate page
2015-03-01 jimcreate page
2015-03-01 jimready to go?
2015-03-01 jimalmost done
2015-03-01 jimrevisions
2015-03-01 jimwork in progress
2015-03-01 jimpred attribution
2015-02-25 ChrisMerge branch 'working'
2015-02-25 jimwording
2015-02-24 jimprobably most efficient
2015-02-24 jimthird solution for left_head
2015-02-24 Chrismerge
2015-02-24 Chrisassignment 5 draft
2015-02-24 Chrismerging edits
2015-02-24 jimtweak explanation of Bunder/Urbanek pred
2015-02-24 jimadd comment
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 Chrisedits
2015-02-23 ChrisMerge branch 'working'
2015-02-23 jimfix link
2015-02-23 jimcreate page
2015-02-23 jimadd <a id=cps-reverse>
2015-02-23 jimnot WIP
2015-02-23 jimtweak
2015-02-23 jimnote on Little Schemer Ch. 8
2015-02-23 jimadd comment 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 jimadd head to list functions
2015-02-21 Christypos
2015-02-21 Chrisre-solved the mutual recursion problem, just for fun...
2015-02-21 JimMerge branch 'working'
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 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-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-18 Christypos
2015-02-18 Chrisadded draft of assignment4
2015-02-18 jimrename exercises/_assignment2_answers.mdwn to exercises...
2015-02-16 jimtweak
2015-02-15 jimKyle pointed out we had them define head in terms of...
2015-02-14 jimMove map2 question
2015-02-14 jimadd map2 extra credit
next