barker [Mon, 13 Sep 2010 13:26:27 +0000 (09:26 -0400)]
barker [Mon, 13 Sep 2010 13:25:59 +0000 (09:25 -0400)]
barker [Mon, 13 Sep 2010 13:23:16 +0000 (09:23 -0400)]
barker [Mon, 13 Sep 2010 13:22:53 +0000 (09:22 -0400)]
barker [Mon, 13 Sep 2010 13:22:13 +0000 (09:22 -0400)]
barker [Mon, 13 Sep 2010 13:21:59 +0000 (09:21 -0400)]
barker [Mon, 13 Sep 2010 13:21:17 +0000 (09:21 -0400)]
barker [Mon, 13 Sep 2010 13:20:54 +0000 (09:20 -0400)]
barker [Mon, 13 Sep 2010 13:17:14 +0000 (09:17 -0400)]
barker [Mon, 13 Sep 2010 13:16:57 +0000 (09:16 -0400)]
Chris Barker [Sun, 12 Sep 2010 22:36:33 +0000 (18:36 -0400)]
Notes re lecture 1
jim [Sun, 12 Sep 2010 17:25:06 +0000 (13:25 -0400)]
barker [Fri, 10 Sep 2010 21:06:00 +0000 (17:06 -0400)]
Jim Pryor [Mon, 6 Sep 2010 15:36:40 +0000 (11:36 -0400)]
logic requirement
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 28 Aug 2010 23:25:58 +0000 (19:25 -0400)]
more comments about r5rs/current
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 28 Aug 2010 23:25:26 +0000 (19:25 -0400)]
delete reference to MrEd/gracket
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 28 Aug 2010 10:46:55 +0000 (06:46 -0400)]
rlwrap tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 28 Aug 2010 10:43:19 +0000 (06:43 -0400)]
rlwrap
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 26 Aug 2010 14:46:27 +0000 (10:46 -0400)]
reading typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 17:10:41 +0000 (13:10 -0400)]
cominatorial tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 16:05:34 +0000 (12:05 -0400)]
added Iota and Jot, but link broken
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 15:42:51 +0000 (11:42 -0400)]
links more tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 15:16:13 +0000 (11:16 -0400)]
links tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 13:47:34 +0000 (09:47 -0400)]
add OCaml manual
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 12:14:52 +0000 (08:14 -0400)]
formatting links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 12:06:19 +0000 (08:06 -0400)]
formatting tweaks 2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 12:05:12 +0000 (08:05 -0400)]
formatting tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 12:03:53 +0000 (08:03 -0400)]
links tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 11:59:46 +0000 (07:59 -0400)]
Ocaml tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 11:44:53 +0000 (07:44 -0400)]
scheme RnRS tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 04:28:49 +0000 (00:28 -0400)]
offsite_reading: add one, tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 02:38:31 +0000 (22:38 -0400)]
tweaked Scheme textbooks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 02:35:35 +0000 (22:35 -0400)]
expanded OCaml links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 02:18:07 +0000 (22:18 -0400)]
more details installing OCaml on Mac
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 02:11:22 +0000 (22:11 -0400)]
SML vs Caml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:55:41 +0000 (21:55 -0400)]
added Oleg link re delimcc
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:54:43 +0000 (21:54 -0400)]
added a continuation link group
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:52:59 +0000 (21:52 -0400)]
added continuations links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:52:27 +0000 (21:52 -0400)]
added monads in category theory links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:38:05 +0000 (21:38 -0400)]
cleaned monad links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:31:31 +0000 (21:31 -0400)]
added monad links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 01:24:15 +0000 (21:24 -0400)]
Scheme links tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 00:59:30 +0000 (20:59 -0400)]
Scheme links rearrange
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 00:56:51 +0000 (20:56 -0400)]
Scheme links typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 00:54:14 +0000 (20:54 -0400)]
adding some Learning Scheme links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 25 Aug 2010 00:53:43 +0000 (20:53 -0400)]
SML/NJ link fixed
Jim Pryor [Tue, 24 Aug 2010 22:32:13 +0000 (18:32 -0400)]
family_tree: add F#
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:29:22 +0000 (18:29 -0400)]
family_tree: tweak intro
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:26:14 +0000 (18:26 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 22:26:03 +0000 (18:26 -0400)]
family_tree: SML variants
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:19:51 +0000 (18:19 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 22:19:46 +0000 (18:19 -0400)]
family_tree: fix wikipedia links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:15:12 +0000 (18:15 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 22:15:07 +0000 (18:15 -0400)]
family_tree: test changing wikipedia desc
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:07:58 +0000 (18:07 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 22:07:43 +0000 (18:07 -0400)]
family_tree comment re static/dynamic typing
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:07:22 +0000 (18:07 -0400)]
reformatted family_tree
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:01:51 +0000 (18:01 -0400)]
family_tree typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 22:00:58 +0000 (18:00 -0400)]
family_tree typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 21:59:10 +0000 (17:59 -0400)]
family_tree typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 21:57:07 +0000 (17:57 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 21:57:03 +0000 (17:57 -0400)]
reformatted family_tree
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 21:52:36 +0000 (17:52 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 21:52:32 +0000 (17:52 -0400)]
renamed family_tree
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 21:49:59 +0000 (17:49 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 21:49:11 +0000 (17:49 -0400)]
added family_tree
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 19:31:57 +0000 (15:31 -0400)]
offsite_reading typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 19:30:15 +0000 (15:30 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 19:29:36 +0000 (15:29 -0400)]
tweaked offsite_reading
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:27:43 +0000 (13:27 -0400)]
also added Chris' tutorial to offsite_reading
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:18:50 +0000 (13:18 -0400)]
deleted alpha
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Tue, 24 Aug 2010 17:16:31 +0000 (13:16 -0400)]
yet one more
Jim Pryor [Tue, 24 Aug 2010 17:17:47 +0000 (13:17 -0400)]
alpha edit 2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:16:03 +0000 (13:16 -0400)]
Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
Jim Pryor [Tue, 24 Aug 2010 17:15:23 +0000 (13:15 -0400)]
alpha edit
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:14:23 +0000 (13:14 -0400)]
added alpha for testing
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Tue, 24 Aug 2010 17:13:34 +0000 (13:13 -0400)]
web edit
Jim Pryor [Tue, 24 Aug 2010 17:06:16 +0000 (13:06 -0400)]
OCaml lambda interp: when fully reduced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:04:32 +0000 (13:04 -0400)]
OCaml lambda interp: surround brackets with spaces
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:03:36 +0000 (13:03 -0400)]
OCaml lambda interp: parens
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:02:37 +0000 (13:02 -0400)]
OCaml lambda interp: value of the var
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 17:00:24 +0000 (13:00 -0400)]
tweaked using OCaml lambda interpreter
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 16:54:46 +0000 (12:54 -0400)]
added notes on using OCaml lambda interpreter
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 15:42:17 +0000 (11:42 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 15:16:32 +0000 (11:16 -0400)]
stub link to OCaml lambda calc
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 15:14:28 +0000 (11:14 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 15:14:23 +0000 (11:14 -0400)]
tweaks to using page
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 15:01:33 +0000 (11:01 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 15:01:24 +0000 (11:01 -0400)]
whitespace, formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 14:54:00 +0000 (10:54 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 14:52:59 +0000 (10:52 -0400)]
moved programming resources to new page, expanded
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 14:03:29 +0000 (10:03 -0400)]
add .swp files to .gitignore
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 14:02:46 +0000 (10:02 -0400)]
Add 'using the programming languages'
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 14:01:10 +0000 (10:01 -0400)]
Rec Readings->Books
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 13:03:41 +0000 (09:03 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 13:03:24 +0000 (09:03 -0400)]
tweaked offsite reasing
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 10:01:52 +0000 (06:01 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 10:01:32 +0000 (06:01 -0400)]
more offsite links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 04:12:40 +0000 (00:12 -0400)]
remark about partial understanding
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 03:54:35 +0000 (23:54 -0400)]
complete merge
Signed-off-by: Jim Pryor <profjim@jimpryor.net>