| 2010-12-23 | Jim Pryor | add expose to monads.ml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-23 | Jim Pryor | ass10 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-23 | Jim Pryor | ass10 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-23 | Jim Pryor | ass10 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-22 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-22 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-22 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps: delta tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak, another Seasoned cite Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week10 add Seasoned citation Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9 reference tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps: add some begins Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9: another Seasoned Schemer ref Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9: {get,set}_store -> state_get, state_put Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9: add link to Seasoned Schemer Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | week9: {get,set}_state -> _store Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps_hints to mdwn Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | add seasoned schemer exercises to cps Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | cps tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | add plotkin link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-21 | Jim Pryor | ass10 typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-19 | Jim Pryor | tweak ass10 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-16 | Jim Pryor | assignment 10 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-16 | Jim Pryor | assignment 10 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-16 | Jim Pryor | assignment 10 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-16 | Jim Pryor | assignment 10 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-14 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-14 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-14 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-14 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-14 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-14 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | index,new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | cps tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | Revert "cps capitalize filename" |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | cps capitalize filename Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | cps continue Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | cps (still working) Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | delete tests from code Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | tweak coroutines Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | post initial ass10 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 | transformers tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | transformers finish 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 | update tree_monadize.ml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | manip trees tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | manip trees tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | manip trees tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-13 | Jim Pryor | new_stuff Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 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 |
| next | |||