formatting
[lambda.git] / exercises /
2015-03-22 jimMore explicitness
2015-03-22 jimformatting
2015-03-22 JimMerge branch 'working'
2015-03-21 jimtweaks
2015-03-21 jimremoved
2015-03-21 jimfinish
2015-03-21 jimadd set_equal?
2015-03-21 jimmost answers done
2015-03-21 jimremoved
2015-03-21 jimfix type of sysf_iszero, add sysf_pred
2015-03-21 jimExplain why blackhole and blackhole () can have the...
2015-03-21 jimexpand about eval order
2015-03-21 jimfix explanation of rejected types
2015-03-21 jimreplace deleted line
2015-03-21 jimreplace deleted line
2015-03-21 jimtweak
2015-03-21 jimfix System F booleans
2015-03-21 jimspelling
2015-03-21 jimmarkup
2015-03-21 jimtweak
2015-03-21 jimadd some more
2015-03-21 jimadd some stuff
2015-03-21 jimmore answers
2015-03-21 jimadd some more
2015-03-21 jimadd some answers
2015-03-21 jimadd hints
2015-03-21 jimcreate page
2015-03-21 jimcreate page
2015-03-20 Jimupdate homework
2015-03-20 JimMerge branch 'working'
2015-03-20 jimtweaks
2015-03-19 jimargh... Haskell vs OCaml
2015-03-19 jimfix formatting of `1`
2015-03-19 jimupdates, ready to post with promises
2015-03-19 JimMerge branch 'working'
2015-03-19 jimrename exercises/_assignment6.mdwn to exercises/assignm...
2015-03-16 Chrisedits
2015-03-16 Chrisgit is weird
2015-03-15 chris(no commit message)
2015-03-15 chris(no commit message)
2015-03-15 chris(no commit message)
2015-03-15 chris(no commit message)
2015-03-15 Chrisedits
2015-03-15 Chrisexx
2015-03-14 Chrisexx
2015-03-14 Chrisexx
2015-03-14 Chrismoved files
2015-03-14 Chrisedits
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
next