| 2010-09-15 | Jim Pryor | damn tweaks2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-15 | Jim Pryor | damn tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-15 | Jim Pryor | more damn write-up Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-15 | Jim Pryor | start of damn write-up Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-15 | Jim Pryor | separate learning_{scheme,ocaml} Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-15 | Jim Pryor | schedule->notes_and_schedule Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-15 | Jim Pryor | cb-notes->week1.mdwn Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | more6 assignment1 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | more5 assignment1 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | more4 assignment1 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | more3 assignment1 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | more2 assignment1 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | more assignment1 tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | reformat assignment1 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | rearrange index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | tweak Little MLer blurb Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | comment on books Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | delete CommonLisp,ML from index Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | announcements tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | Firefox analogy tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | racket:scheme::firefox:html Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | add damn4.rkt Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | add damn3.rkt Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | announce re mailing lists Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-14 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-09-13 | Jim Pryor | fixed ambiguity in explanation of 'normal form' Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-09-06 | Jim Pryor | logic requirement Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-28 | Jim Pryor | more comments about r5rs/current Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-28 | Jim Pryor | delete reference to MrEd/gracket Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-28 | Jim Pryor | rlwrap tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-28 | Jim Pryor | rlwrap Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-26 | Jim Pryor | reading typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | cominatorial tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | added Iota and Jot, but link broken Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | links more tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | links tweak Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | add OCaml manual Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | formatting links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | formatting tweaks 2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | formatting tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | links tweaking Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | Ocaml tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | scheme RnRS tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | offsite_reading: add one, tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | tweaked Scheme textbooks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | expanded OCaml links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | more details installing OCaml on Mac Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | SML vs Caml Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | added Oleg link re delimcc Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | added a continuation link group Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | added continuations links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | added monads in category theory links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | cleaned monad links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | added monad links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | Scheme links tweaks Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | Scheme links rearrange Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | Scheme links typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | adding some Learning Scheme links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-25 | Jim Pryor | SML/NJ link fixed |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree: add F# Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree: tweak intro Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree: SML variants Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree: fix wikipedia links Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree: test changing wikipedia desc Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree comment re static/dynamic typing Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | reformatted family_tree Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | family_tree typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | reformatted family_tree Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | renamed family_tree Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added family_tree Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | offsite_reading typo Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | tweaked offsite_reading Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | also added Chris' tutorial to offsite_reading Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | deleted alpha Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | alpha edit 2 Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'master' of ssh://server.philosophy.fas... |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | alpha edit Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added alpha for testing Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: when fully reduced Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: surround brackets with spaces Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: parens Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | OCaml lambda interp: value of the var Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | tweaked using OCaml lambda interpreter Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | added notes on using OCaml lambda interpreter Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | stub link to OCaml lambda calc Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | Merge branch 'pryor' |
commit | commitdiff | tree |
| 2010-08-24 | Jim Pryor | tweaks to using page Signed-off-by: Jim Pryor <profjim@jimpryor.net> |
commit | commitdiff | tree |
| next | |||