| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat: right arrow Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory: different bold Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory testing Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | id[.] Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | capitalize c1,c2,c3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | bold categories, greek NTs Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | tweak cat theory Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | tweak cat theory Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | tweak cat theory Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | tweak cat theory Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-02 | Jim Pryor | cat theory warning Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | comment re 'intensionality monad' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | fix links to towards monads Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: tweaking markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reader: fix [[]] markup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | fill in reader monad Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week6: tweaked hidden notes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | upcoming topics: tweaked Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | reorg monad links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week7 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | split off reader, intens monads; link to week7 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | add friedman article, week7 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | towards monads tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week6 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | towards monads: tweak error message Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week7: tweaking Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | towards monads tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week7: use u,v for monadic terms Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | towards monads: use u,v for monadic terms Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | pattern matching: use standard OCaml conventions Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | move Towards Monads to own page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week6: expand Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | link to monads in category theory Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week7: monad details Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week7: update monad intro Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | week7: housecleaning Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | expand name 'towards monads' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | tweak index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | tweak advanced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-11-01 | Jim Pryor | make advanced folder Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | post ass5 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Merge branch 'pryor' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: merged Chris' changes Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: more formatting Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: move monads to end Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: prime lift,bind,add Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Revert "Revert "ass5: omega->blackhole"" |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Revert "Revert "homework formatting/some de-utf8ing"" |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Revert "Revert "Acar reference"" |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Revert "Acar reference" |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Revert "homework formatting/some de-utf8ing" |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Revert "ass5: omega->blackhole" |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | week6: formatting, add primes after monad ops Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | ass5: omega->blackhole Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | homework formatting/some de-utf8ing Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | Acar reference Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | decap OCAML Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-26 | Jim Pryor | renamed curry-howard Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-25 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | index tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | more index reorg, links to learning Scheme/OCaml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | try/learning scheme tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||