| 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 |
| 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 | new_stuff 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 |
| 2010-12-04 | Jim Pryor | translating to/from OCaml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | offsite Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | offsite Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | offsite Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | offsite Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | manip trees tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | changed my unit_M to Chris' convention of M_unit, for... Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | manip trees tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | manip trees tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | tree_monadize is TreeT.bind Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | tweak whole site: caps for Reader monad, etc Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | tweak week12: caps Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | list zipper to contin: expand explanations Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | code/tree_monadize.ml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | manip trees tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | manip trees tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-02 | Jim Pryor | manip trees: more explanation Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | fix manip trees Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 many tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | ass7 neg bug fixed, thanks Simon Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | week11 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | leafs->leaves Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | Revert "manip trees: deleted what I think was a spurious... |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | consistently use k for continuations Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-12-01 | Jim Pryor | manip trees: deleted what I think was a spurious line Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||