add explanation of Closures
[lambda.git] / topics /
2015-03-23 JimMerge branch 'working'
2015-03-23 JimMerge branch 'working'
2015-03-23 JimMerge branch 'working'
2015-03-23 JimMerge branch 'working'
2015-03-23 jimfix link
2015-03-23 jimtypo
2015-03-23 jimformating
2015-03-23 jimuse arrow for mid
2015-03-23 jimremove spaces after applications of mid
2015-03-23 jimchange m$ to ¢
2015-03-23 jimchange mid to double up arrow U+2e17
2015-03-23 JimMerge branch 'working'
2015-03-23 jimrename topics/week8_safe_division_with_Monads.mdwn...
2015-03-23 jimrename topics/_week8_using_monads.mdwn to topics/week8_...
2015-03-23 jimpolish
2015-03-23 jimmove do-notation links
2015-03-23 jimexplain comments
2015-03-22 jimmove link
2015-03-22 jimThey're sets of worlds AND they're CCPs... Understand...
2015-03-22 JimMerge branch 'working'
2015-03-22 jimexplain "cohere"
2015-03-22 jimformatting
2015-03-22 jimadd Monads made hard link to Category Theory links
2015-03-22 jimextra line
2015-03-22 jimtweak List.>>= explanation
2015-03-22 jimtweak diagram
2015-03-22 jimrefinements, diagrams
2015-03-22 jimreorganize
2015-03-22 JimMerge branch 'working'
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-21 jimcreate page
2015-03-21 jimremove Safe division
2015-03-21 jimwarning about mu, some tweaks
2015-03-20 JimMerge branch 'working'
2015-03-20 jimspoke too soon, added examples of failures
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 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 jimlowercase monad
2015-03-19 JimMerge branch 'working'
2015-03-19 jimtweak
2015-03-19 jimtweak
2015-03-19 jimreplace some == with ≡
2015-03-19 jimadd sentence about Identity Monad
2015-03-19 jimadd some <code> tags
2015-03-19 jimfix join's type
2015-03-19 jimok
2015-03-19 JimMerge branch 'working'
2015-03-19 JimMerge branch 'working'
2015-03-19 jim(no commit message)
2015-03-19 JimMerge branch 'working'
2015-03-19 jim(no commit message)
2015-03-19 JimMerge branch 'working'
2015-03-19 JimMerge branch 'working'
2015-03-19 JimMerge branch 'working'
2015-03-19 JimMerge branch 'working'
2015-03-19 jim(no commit message)
2015-03-19 jim(no commit message)
2015-03-19 JimMerge branch 'working'
2015-03-19 jimedits, still has some TODOs
2015-03-19 jimwip
2015-03-19 chris(no commit message)
2015-03-19 JimMerge branch 'working'
2015-03-19 chris(no commit message)
2015-03-19 chris(no commit message)
2015-03-19 jimsome edits
2015-03-19 jimrename topics/week7_monads.mdwn to topics/week7_introdu...
2015-03-19 jimfix markup, typo
2015-03-19 jimupdate, add safe division
next