lambda.git
2015-03-24 jimremove TODO
2015-03-24 jimmore results that aren't terms
2015-03-24 jimexpand about environments
2015-03-24 jimadd parentheses
2015-03-24 jimtweak
2015-03-24 jiminconsistent-->unsound
2015-03-24 jim≡ means syntactic identity, not equivalence
2015-03-24 jimwhoops, tree_best_sofar (direct) had a bug
2015-03-24 jimfix link
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimsymlink doesn't work
2015-03-24 jimadd toc
2015-03-24 jimupdate link
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimupdate untyped code
2015-03-24 JimMerge branch 'working'
2015-03-24 Jimtweak untyped_evaluators, add symlink
2015-03-24 jimpost/update links
2015-03-23 jimformatting
2015-03-23 jimpost links
2015-03-23 jimrename topics/_week7_interpreter_exposition.mdwn to...
2015-03-23 jimedits
2015-03-23 jimadd #primed
2015-03-23 jimedits?
2015-03-23 jimadd link to Closures
2015-03-23 jimrename topics/week7__95__environments__95__and__95__clo...
2015-03-23 jimupdate for rename of topics/closures.mdwn to topics...
2015-03-23 jimrename topics/closures.mdwn to topics/week7__95__enviro...
2015-03-23 jimedits
2015-03-23 jimextract closures discussion to separate page
2015-03-23 jimcreate page
2015-03-23 jimadd more bold
2015-03-23 jimadd update note
2015-03-23 jimadd update note
2015-03-23 jimadd toc
2015-03-23 jimtweak
2015-03-23 jimadd explanation of Closures
2015-03-23 jimfix markup
2015-03-23 jimfix markup
2015-03-23 jimadd #occurs_free
2015-03-23 jimadd #occurs_free
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimadd V combinator to lambda_evaluator
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimadd code/interp-1.2.tgz
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimuntyped eval: tweaks
2015-03-23 JimMerge branch 'working'
2015-03-23 Jimuntyped eval: V[12]-->V[AB]
2015-03-23 jimfix link
2015-03-23 jimupdate note
2015-03-23 jimupdate note
2015-03-23 jimtypo
2015-03-23 jimmarkup
2015-03-23 jimformating
2015-03-23 jimuse arrow for mid
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 Jimadd some old code, let's review/update before publishing
2015-03-23 jimagain with the markup
2015-03-23 jimmarkup
2015-03-23 jimpost safe division, rename/reorg a bit
2015-03-23 jimlink to safe division
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 Jimadd faye_dunaway.jpg
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 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
next