2015-03-23 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-23 |
Jim | add V combinator to lambda_evaluator |
tree | commitdiff |
2015-03-23 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-23 |
Jim | add code/interp-1.2.tgz |
tree | commitdiff |
2015-03-23 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-23 |
Jim | untyped eval: tweaks |
tree | commitdiff |
2015-03-23 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-23 |
Jim | untyped eval: V[12]-->V[AB] |
tree | commitdiff |
2015-03-23 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-23 |
Jim | add some old code, let's review/update before publishing |
tree | commitdiff |
2015-03-22 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-22 |
Jim | change env implementations to assoc list |
tree | commitdiff |
2015-03-22 |
Jim | add comments to untyped_evals again |
tree | commitdiff |
2015-03-22 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-22 |
Jim | add comments to untyped_evals |
tree | commitdiff |
2015-03-20 |
Jim | whoops |
tree | commitdiff |
2015-03-20 |
Jim | provide gappy untyped_evaluator.ml |
tree | commitdiff |
2015-03-20 |
Jim | refine untyped_evaluator |
tree | commitdiff |
2015-03-20 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-20 |
Jim | provide simplified untyped_evaluator (complete version) |
tree | commitdiff |
2015-03-19 |
Chris | try3 |
tree | commitdiff |
2015-03-19 |
Jim | Merge branch 'working' |
tree | commitdiff |
2015-03-19 |
Jim | update code |
tree | commitdiff |
2015-03-19 |
Jim | update ski_evaluators |
tree | commitdiff |
2015-03-15 |
Chris | exx |
tree | commitdiff |
2015-03-14 |
Chris | git is a pain |
tree | commitdiff |
2015-03-14 |
Chris | edits |
tree | commitdiff |
2015-03-14 |
Chris | added complete substitution code |
tree | commitdiff |
2015-03-14 |
Chris | edits |
tree | commitdiff |
2015-03-14 |
Chris | exercises |
tree | commitdiff |
2015-03-14 |
Chris | developing exx |
tree | commitdiff |
2015-03-14 |
Chris | huh |
tree | commitdiff |
2015-03-14 |
Chris | added reduction code |
tree | commitdiff |
2015-03-14 |
Chris | added code |
tree | commitdiff |
2015-03-14 |
Chris | hw6 |
tree | commitdiff |
2015-02-12 |
Chris | added discussion of computation |
tree | commitdiff |
2015-02-12 |
Jim | chomp whitespace |
tree | commitdiff |
2015-02-06 |
jim | update Lambda Calculator link |
tree | commitdiff |
2015-02-05 |
Chris | Merge branch 'working' |
tree | commitdiff |
2015-02-05 |
Jim | try adding lambda evaluator |
tree | commitdiff |
2015-02-01 |
Chris | stupid git |
tree | commitdiff |
2015-02-01 |
Chris | adjustments, notes week 1 |
tree | commitdiff |
2015-02-01 |
Jim | copy some more over from v1 |
tree | commitdiff |
2015-01-29 |
Linux User | Move everything to old |
tree | commitdiff |
2011-06-08 |
Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... |
tree | commitdiff |
2011-06-02 |
Jim Pryor | Merge branch 'pryor' |
tree | commitdiff |
2011-06-02 |
Jim Pryor | added same-fringe |
tree | commitdiff |
2011-05-29 |
Jim Pryor | Merge branch 'pryor' |
tree | commitdiff |
2011-05-29 |
Jim Pryor | monads: add permute,select for List.T |
tree | commitdiff |
2011-02-20 |
Jim Pryor | Merge branch 'pryor' |
tree | commitdiff |
2011-02-20 |
Jim Pryor | monads.ml tweak |
tree | commitdiff |
2010-12-23 |
Jim Pryor | add expose to monads.ml |
tree | commitdiff |
2010-12-13 |
Jim Pryor | delete tests from code |
tree | commitdiff |
2010-12-13 |
Jim Pryor | transformers finish |
tree | commitdiff |
2010-12-13 |
Jim Pryor | update tree_monadize.ml |
tree | commitdiff |
2010-12-13 |
Jim Pryor | clean up tree_monadizer.ml |
tree | commitdiff |
2010-12-13 |
Jim Pryor | Expand monad_transformers re elevate, layering |
tree | commitdiff |
2010-12-13 |
Jim Pryor | rename some stuff |
tree | commitdiff |
2010-12-13 |
Jim Pryor | rename some stuff |
tree | commitdiff |
2010-12-13 |
Jim Pryor | rename some stuff |
tree | commitdiff |
2010-12-12 |
Jim Pryor | Leaf_monad -> Tree_monad |
tree | commitdiff |
2010-12-12 |
Jim Pryor | point to monad_library |
tree | commitdiff |
2010-12-12 |
Jim Pryor | tweak monads-lib |
tree | commitdiff |
2010-12-12 |
Jim Pryor | tweak monads-lib |
tree | commitdiff |
2010-12-11 |
Jim Pryor | tweak monads-lib |
tree | commitdiff |
2010-12-11 |
Jim Pryor | monads lib: made all monad types doubly param'd; requir... |
tree | commitdiff |
2010-12-11 |
Jim Pryor | tweak monads-lib |
tree | commitdiff |
2010-12-11 |
Jim Pryor | monads.ml: make Error.TP,TP2 drop fail to Wrapped.zero |
tree | commitdiff |
2010-12-11 |
Jim Pryor | monads.ml: add TP2 to Error, make Error.run less exn-y |
tree | commitdiff |
2010-12-11 |
Jim Pryor | monads.ml: add TP to Error |
tree | commitdiff |
2010-12-11 |
Jim Pryor | tweak monads-lib |
tree | commitdiff |
2010-12-11 |
Jim Pryor | tweak monads-lib, migrate to T2 |
tree | commitdiff |
2010-12-11 |
Jim Pryor | tweak monads-lib, start T2 |
tree | commitdiff |
2010-12-11 |
Jim Pryor | push monads library |
tree | commitdiff |
2010-12-08 |
Jim Pryor | extend Chris' arg reversal to tree_monadize.ml |
tree | commitdiff |
2010-12-08 |
Jim Pryor | Merge branch 'pryor' |
tree | commitdiff |
2010-12-08 |
Jim Pryor | tweak tree_monadize.ml |
tree | commitdiff |
2010-12-07 |
Jim Pryor | Merge branch 'pryor' |
tree | commitdiff |
2010-12-07 |
Jim Pryor | monad_transformers: develop |
tree | commitdiff |
2010-12-06 |
Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... |
tree | commitdiff |
2010-12-05 |
Jim Pryor | tree_monadize tweaks |
tree | commitdiff |
2010-12-05 |
Jim Pryor | tree_monadize tweaks |
tree | commitdiff |
2010-12-05 |
Jim Pryor | expand tree_monadize explanation |
tree | commitdiff |
2010-12-02 |
Jim Pryor | changed my unit_M to Chris' convention of M_unit, for... |
tree | commitdiff |
2010-12-02 |
Jim Pryor | tweak whole site: caps for Reader monad, etc |
tree | commitdiff |
2010-12-02 |
Jim Pryor | code/tree_monadize.ml |
tree | commitdiff |
2010-12-01 |
Jim Pryor | fix manip trees |
tree | commitdiff |
2010-11-26 |
Jim Pryor | tweak calc improvements |
tree | commitdiff |
2010-11-26 |
Jim Pryor | tweak calc improvements |
tree | commitdiff |
2010-11-26 |
Jim Pryor | tweak calc improvements |
tree | commitdiff |
2010-11-26 |
Jim Pryor | tweak calc improvements |
tree | commitdiff |
2010-11-26 |
Jim Pryor | tweak calc improvements |
tree | commitdiff |
2010-11-26 |
Jim Pryor | tweak calc improvements |
tree | commitdiff |
2010-11-26 |
Jim Pryor | expand calc improvements |
tree | commitdiff |
2010-10-17 |
Jim Pryor | code cleanup |
tree | commitdiff |
2010-10-17 |
Jim Pryor | code cleanup |
tree | commitdiff |
2010-10-17 |
Jim Pryor | code cleanup |
tree | commitdiff |
2010-10-17 |
Jim Pryor | Revert "changes to offsite-reading" |
tree | commitdiff |
2010-10-17 |
Chris Barker | changes to offsite-reading |
tree | commitdiff |
2010-10-17 |
Chris Barker | changes to offsite-reading |
tree | commitdiff |
next |