| 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 |
| 2010-10-19 | Jim Pryor | move around 'try scheme', 'learning...' links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator: add links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator: fix exists Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | index: add big link to evaluator Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | evaluator links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | offsite reading tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | week1 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | index: tweak book links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | index: book links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | index tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-19 | Jim Pryor | week4 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-17 | Jim Pryor | code cleanup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-17 | Jim Pryor | code cleanup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-17 | Jim Pryor | code cleanup Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-17 | Jim Pryor | Revert "changes to offsite-reading" Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate Y1,Y2 tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | alternate strategy for Y1,Y2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-16 | Jim Pryor | fix comment about forcing eval order Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-07 | Jim Pryor | library tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-07 | Jim Pryor | add left,CPS lists to library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | evaluator: note on variable-naming rules Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | fix index link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | week4 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | week4 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | week4 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | week4 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | week4 f-->f2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | spelling Ackermann Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-05 | Jim Pryor | trees tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | posted assignment4 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | tweak assignment4 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | tweak Oleg's rev,list_equal Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | add in Oleg's list_equal Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | library: added Oleg's revappend Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | library: tweak gcd Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | added gcd,lcm to library Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | added more combinators to parser Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | add mockingbird link Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | assignment3 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | assignment3 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | assign 4: hints for list_equal Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-10-04 | Jim Pryor | assign 4: hint4 -> hint3 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||