| 2010-12-13 | Jim Pryor | finish reworking manip trees Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | rework manip trees (including reversing order of tree_monadi... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | clean up tree_monadizer.ml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | add elevate laws Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | transformers tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | transformers tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | transformers tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | Expand monad_transformers re elevate, layering Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | # use Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | # use Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | rename some stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | rename some stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | rename some stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | why monads? Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak transformers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak transformers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | Stokhof, Veltman Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | expand transformers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | ass9 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | monad library acks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | monad_lib, state_monad tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | Leaf_monad -> Tree_monad Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | index tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | week9 broken link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak indexes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | delete upcoming topics, tweak index/new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak new_stuff, post raw cps file Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | deleted using contins..., moved remaining content into... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | reorg new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | index tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | point week9 to monad tutorial Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | index tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | state monad tutorial, records tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | post links to state monad tutorial Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | state_monad_tutorial.mdwn Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | monad_library to new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak monad_library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak monad_library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | start state_monad_tutorial Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | point to monad_library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | starting assignment 10 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | translating: more about records Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | state monad tutorial link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak monads-lib Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | learning ocaml links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-12 | Jim Pryor | tweak monads-lib Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | tweak monads-lib Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | monads lib: made all monad types doubly param'd; required... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | tweak monads-lib Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | monads.ml: make Error.TP,TP2 drop fail to Wrapped.zero Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | monads.ml: add TP2 to Error, make Error.run less exn-y Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | monads.ml: add TP to Error Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | tweak monads-lib Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | tweak monads-lib, migrate to T2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | tweak monads-lib, start T2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-11 | Jim Pryor | push monads library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-10 | Jim Pryor | monad_transformers: citations Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-09 | Jim Pryor | prettier associative law in week7 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-08 | Jim Pryor | extend Chris' arg reversal to tree_monadize.ml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-08 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-08 | Jim Pryor | tweak tree_monadize.ml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-07 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-07 | Jim Pryor | fix index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-07 | Jim Pryor | fix index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-07 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-07 | Jim Pryor | monad_transformers: develop Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-07 | Jim Pryor | monad_transformers: develop Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-06 | Jim Pryor | spawned off 'using contin to solve same fringe' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-06 | Jim Pryor | manip trees typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-06 | Jim Pryor | assignment8 call it tail-thunk not tailk, thanks Douwe Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-06 | Jim Pryor | assignment8 typo, thanks Douwe Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | commentary on ass6 solutions: post to new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | commentary on ass6 solutions: post to index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | commentary on ass6 solutions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | commentary on ass6 solutions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | tree_monadize tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | tree_monadize tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-05 | Jim Pryor | expand tree_monadize explanation Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | monad laws link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | do-notation links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | manip trees: split off last section into monad_transformers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | cps link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | link tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | links re monads Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | links on do-notation to translation Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | (commented out) link on curry-howard Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | link, thanks on category theory page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | add link to Haskell wikibook/zippers Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-04 | Jim Pryor | translating tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||