projects / lambda.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add OCaml main+list+monad libraries
2015-04-01 Jimadd OCaml main+list+monad libraries
 commit | commitdiff | tree
2015-03-25 Jimtypo in untyped_evaluator
 commit | commitdiff | tree
2015-03-25 Jimfix another typo on ski_evaluator
 commit | commitdiff | tree
2015-03-25 Jimfix typo on ski_evaluator
 commit | commitdiff | tree
2015-03-25 Jimfix result types on ski_evaluator
 commit | commitdiff | tree
2015-03-25 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-25 Jimadd comments to ski_evaluator
 commit | commitdiff | tree
2015-03-25 jimshell scripts use dynamic binding
 commit | commitdiff | tree
2015-03-25 jimtypo
 commit | commitdiff | tree
2015-03-25 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-25 Jimupdate untyped_eval to 1.7
 commit | commitdiff | tree
2015-03-24 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-24 JimRevert "update untyped_eval to 1.6"
 commit | commitdiff | tree
2015-03-24 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-24 Jimupdate untyped_eval to 1.6
 commit | commitdiff | tree
2015-03-24 jimpost hidden stuff
 commit | commitdiff | tree
2015-03-24 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-24 Jimupdate untyped_eval to 1.5
 commit | commitdiff | tree
2015-03-24 jimT combinator
 commit | commitdiff | tree
2015-03-24 Jimupdate untyped_eval to 1.4
 commit | commitdiff | tree
2015-03-24 jimremove TODO
 commit | commitdiff | tree
2015-03-24 jimmore results that aren't terms
 commit | commitdiff | tree
2015-03-24 jimexpand about environments
 commit | commitdiff | tree
2015-03-24 jimadd parentheses
 commit | commitdiff | tree
2015-03-24 jimtweak
 commit | commitdiff | tree
2015-03-24 jiminconsistent-->unsound
 commit | commitdiff | tree
2015-03-24 jim≡ means syntactic identity, not equivalence
 commit | commitdiff | tree
2015-03-24 jimwhoops, tree_best_sofar (direct) had a bug
 commit | commitdiff | tree
2015-03-24 jimfix link
 commit | commitdiff | tree
2015-03-24 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-24 Jimsymlink doesn't work
 commit | commitdiff | tree
2015-03-24 jimadd toc
 commit | commitdiff | tree
2015-03-24 jimupdate link
 commit | commitdiff | tree
2015-03-24 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-24 Jimupdate untyped code
 commit | commitdiff | tree
2015-03-24 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-24 Jimtweak untyped_evaluators, add symlink
 commit | commitdiff | tree
2015-03-24 jimpost/update links
 commit | commitdiff | tree
2015-03-23 jimformatting
 commit | commitdiff | tree
2015-03-23 jimpost links
 commit | commitdiff | tree
2015-03-23 jimrename topics/_week7_interpreter_exposition.mdwn to...
commit | commitdiff | tree
2015-03-23 jimedits
 commit | commitdiff | tree
2015-03-23 jimadd #primed
 commit | commitdiff | tree
2015-03-23 jimedits?
 commit | commitdiff | tree
2015-03-23 jimadd link to Closures
 commit | commitdiff | tree
2015-03-23 jimrename topics/week7__95__environments__95__and__95__closures...
commit | commitdiff | tree
2015-03-23 jimupdate for rename of topics/closures.mdwn to topics...
commit | commitdiff | tree
2015-03-23 jimrename topics/closures.mdwn to topics/week7__95__environment...
commit | commitdiff | tree
2015-03-23 jimedits
 commit | commitdiff | tree
2015-03-23 jimextract closures discussion to separate page
 commit | commitdiff | tree
2015-03-23 jimcreate page
 commit | commitdiff | tree
2015-03-23 jimadd more bold
 commit | commitdiff | tree
2015-03-23 jimadd update note
 commit | commitdiff | tree
2015-03-23 jimadd update note
 commit | commitdiff | tree
2015-03-23 jimadd toc
 commit | commitdiff | tree
2015-03-23 jimtweak
 commit | commitdiff | tree
2015-03-23 jimadd explanation of Closures
 commit | commitdiff | tree
2015-03-23 jimfix markup
 commit | commitdiff | tree
2015-03-23 jimfix markup
 commit | commitdiff | tree
2015-03-23 jimadd #occurs_free
 commit | commitdiff | tree
2015-03-23 jimadd #occurs_free
 commit | commitdiff | tree
2015-03-23 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-23 Jimadd V combinator to lambda_evaluator
 commit | commitdiff | tree
2015-03-23 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-23 Jimadd code/interp-1.2.tgz
 commit | commitdiff | tree
2015-03-23 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-23 Jimuntyped eval: tweaks
 commit | commitdiff | tree
2015-03-23 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-23 Jimuntyped eval: V[12]-->V[AB]
 commit | commitdiff | tree
2015-03-23 jimfix link
 commit | commitdiff | tree
2015-03-23 jimupdate note
 commit | commitdiff | tree
2015-03-23 jimupdate note
 commit | commitdiff | tree
2015-03-23 jimtypo
 commit | commitdiff | tree
2015-03-23 jimmarkup
 commit | commitdiff | tree
2015-03-23 jimformating
 commit | commitdiff | tree
2015-03-23 jimuse arrow for mid
 commit | commitdiff | tree
2015-03-23 jimuse arrow for mid
 commit | commitdiff | tree
2015-03-23 jimremove spaces after applications of mid
 commit | commitdiff | tree
2015-03-23 jimchange m$ to ¢
 commit | commitdiff | tree
2015-03-23 jimchange mid to double up arrow U+2e17
 commit | commitdiff | tree
2015-03-23 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-23 Jimadd some old code, let's review/update before publishing
 commit | commitdiff | tree
2015-03-23 jimagain with the markup
 commit | commitdiff | tree
2015-03-23 jimmarkup
 commit | commitdiff | tree
2015-03-23 jimpost safe division, rename/reorg a bit
 commit | commitdiff | tree
2015-03-23 jimlink to safe division
 commit | commitdiff | tree
2015-03-23 jimrename topics/week8_safe_division_with_Monads.mdwn...
commit | commitdiff | tree
2015-03-23 jimrename topics/_week8_using_monads.mdwn to topics/week8_safe_...
commit | commitdiff | tree
2015-03-23 jimpolish
 commit | commitdiff | tree
2015-03-23 jimmove do-notation links
 commit | commitdiff | tree
2015-03-23 jimexplain comments
 commit | commitdiff | tree
2015-03-22 jimmove link
 commit | commitdiff | tree
2015-03-22 jimThey're sets of worlds AND they're CCPs... Understand...
commit | commitdiff | tree
2015-03-22 JimMerge branch 'working'
 commit | commitdiff | tree
2015-03-22 Jimadd faye_dunaway.jpg
 commit | commitdiff | tree
2015-03-22 jimexplain "cohere"
 commit | commitdiff | tree
2015-03-22 jimformatting
 commit | commitdiff | tree
2015-03-22 jimadd Monads made hard link to Category Theory links
 commit | commitdiff | tree
2015-03-22 jimextra line
 commit | commitdiff | tree
2015-03-22 jimtweak List.>>= explanation
 commit | commitdiff | tree
next
NYU Lambda Wiki v2