lambda.git
2015-03-22 jimMore explicitness
2015-03-22 jimreorganize
2015-03-22 jimformatting
2015-03-22 JimMerge branch 'working'
2015-03-22 Jimchange env implementations to assoc list
2015-03-22 jim(no commit message)
2015-03-22 jimremoved
2015-03-22 jimtweaks
2015-03-22 jimadd addl reading section
2015-03-22 jimmore refinements
2015-03-22 jimsome refinements
2015-03-22 jimsome refinements
2015-03-22 Jimadd monads_in_general for scratch
2015-03-22 Jimadd comments to untyped_evals again
2015-03-22 JimMerge branch 'working'
2015-03-22 Jimadd comments to untyped_evals
2015-03-21 jimtweaks
2015-03-21 jimremoved
2015-03-21 jimpost week4 answers
2015-03-21 jimpost week4 answers
2015-03-21 jimfinish
2015-03-21 jimadd set_equal?
2015-03-21 jimmost answers done
2015-03-21 jimremoved
2015-03-21 jimcreate page
2015-03-21 jimremove Safe division
2015-03-21 jimwarning about mu, some tweaks
2015-03-21 jimfix type of sysf_iszero, add sysf_pred
2015-03-21 jimremove "posted late" notice
2015-03-21 jimremove/update some "coming soon" notices
2015-03-21 jimremove "coming soon" notices
2015-03-21 jimlink to week 5 answers
2015-03-21 jimlink to week 5 answers
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 Jimwhoops
2015-03-20 Jimupdate homework
2015-03-20 Jimprovide gappy untyped_evaluator.ml
2015-03-20 Jimrefine untyped_evaluator
2015-03-20 JimMerge branch 'working'
2015-03-20 Jimprovide simplified untyped_evaluator (complete version)
2015-03-20 jimspoke too soon, added examples of failures
2015-03-20 jimmark that Monad page is updated
2015-03-20 jimmark that Monad page is updated
2015-03-20 jimtweaks
2015-03-20 jimlast tweaks to monad page for now
2015-03-20 jimrestore Chris's double boxes
2015-03-20 jimrefinements
2015-03-20 chris(no commit message)
2015-03-20 Chrisedits
2015-03-20 Chrisdouble box
2015-03-20 jimrefine
2015-03-20 jimexpanding
2015-03-20 jim= to ==
2015-03-20 jimrefine Cat Theory notes
2015-03-20 jimvarious edits, including Cat Theory
2015-03-20 jimmarkup
2015-03-20 jimexpand Mappable Laws
2015-03-19 jimambiguous "identify"
2015-03-19 jimClean up examples, stick more consistently to typing...
2015-03-19 jimargh... Haskell vs OCaml
2015-03-19 jimfix formatting of `1`
2015-03-19 jimexplain mappable laws better
2015-03-19 ChrisMerge branch 'master' of main.jimpryor.net:/srv/lambda...
2015-03-19 Chrisadded intensionality and binding
2015-03-19 jimadd mappable laws
2015-03-19 jimfix type
2015-03-19 jimexpress hesitation about flipped names
2015-03-19 jimfix "arrow"
2015-03-19 jimcorrection
2015-03-19 jimtweak category theory blurb
2015-03-19 jimtweak
2015-03-19 jimformatting
2015-03-19 jimadd links to category theory
2015-03-19 Christry3
2015-03-19 jimpost homework7, with promises
2015-03-19 jimpost homework7, with promises
2015-03-19 jimlowercase monad
2015-03-19 jimupdates, ready to post with promises
2015-03-19 JimMerge branch 'working'
2015-03-19 Jimupdate code
2015-03-19 jimrename exercises/_assignment6.mdwn to exercises/assignm...
2015-03-19 jimtweak
2015-03-19 jimtweak
next