Chris Barker [Mon, 4 Oct 2010 02:48:53 +0000 (22:48 -0400)]
edits
Jim Pryor [Mon, 4 Oct 2010 01:26:54 +0000 (21:26 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:26:51 +0000 (21:26 -0400)]
assign 4: hints for list_equal
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:14:50 +0000 (21:14 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:14:42 +0000 (21:14 -0400)]
assign 4: hint4 -> hint3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:14:08 +0000 (21:14 -0400)]
assign 4: no hint for enum fringe
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:12:36 +0000 (21:12 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:12:33 +0000 (21:12 -0400)]
assignment4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:09:50 +0000 (21:09 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:09:48 +0000 (21:09 -0400)]
assignment4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:09:30 +0000 (21:09 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:09:26 +0000 (21:09 -0400)]
assignment4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:07:16 +0000 (21:07 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:07:13 +0000 (21:07 -0400)]
assignment4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 01:04:59 +0000 (21:04 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 01:04:52 +0000 (21:04 -0400)]
continuing assignment4
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 00:41:34 +0000 (20:41 -0400)]
assignment4 formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 4 Oct 2010 00:38:44 +0000 (20:38 -0400)]
Merge branch 'pryor'
Jim Pryor [Mon, 4 Oct 2010 00:38:39 +0000 (20:38 -0400)]
continuing assignment4
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Mon, 4 Oct 2010 00:37:14 +0000 (20:37 -0400)]
Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
Chris Barker [Mon, 4 Oct 2010 00:37:10 +0000 (20:37 -0400)]
edits
Chris Barker [Mon, 4 Oct 2010 00:35:46 +0000 (20:35 -0400)]
edits
Chris Barker [Mon, 4 Oct 2010 00:32:09 +0000 (20:32 -0400)]
edits
Chris Barker [Mon, 4 Oct 2010 00:29:32 +0000 (20:29 -0400)]
edits
Jim Pryor [Mon, 4 Oct 2010 00:23:07 +0000 (20:23 -0400)]
continuing assignment4
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 23:41:51 +0000 (19:41 -0400)]
assignment4 tweaks, hints
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 23:23:50 +0000 (19:23 -0400)]
add link from trees->sets
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 23:14:35 +0000 (19:14 -0400)]
index: move eval order
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 23:02:10 +0000 (19:02 -0400)]
fixed assignment3 pred
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 22:13:19 +0000 (18:13 -0400)]
add more links to index
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 22:11:51 +0000 (18:11 -0400)]
continuing assignment4
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 22:11:31 +0000 (18:11 -0400)]
add more links to index
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 21:37:25 +0000 (17:37 -0400)]
assignment4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 21:36:15 +0000 (17:36 -0400)]
gitignore
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 21:35:58 +0000 (17:35 -0400)]
assignment4: reverse
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 21:11:36 +0000 (17:11 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 21:11:09 +0000 (17:11 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 21:10:03 +0000 (17:10 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:57:50 +0000 (16:57 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:55:09 +0000 (16:55 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:52:12 +0000 (16:52 -0400)]
index: remove test
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:49:24 +0000 (16:49 -0400)]
index: fixed date ambig
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:47:21 +0000 (16:47 -0400)]
assignment 3 clarification
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:45:35 +0000 (16:45 -0400)]
more assignment3 name cleanup
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:36:11 +0000 (16:36 -0400)]
library: 1st,2nd->fst,snd
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:31:55 +0000 (16:31 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:31:16 +0000 (16:31 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:30:34 +0000 (16:30 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:29:13 +0000 (16:29 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:28:28 +0000 (16:28 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:28:02 +0000 (16:28 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:27:34 +0000 (16:27 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:27:10 +0000 (16:27 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:26:26 +0000 (16:26 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:25:52 +0000 (16:25 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:25:10 +0000 (16:25 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:24:34 +0000 (16:24 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:23:38 +0000 (16:23 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:23:11 +0000 (16:23 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:22:43 +0000 (16:22 -0400)]
week3 evaluator fix
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:07:19 +0000 (16:07 -0400)]
nomenclature on week3 evaluator (sorry)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 20:01:49 +0000 (16:01 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 19:58:03 +0000 (15:58 -0400)]
Merge branch 'pryor'
Jim Pryor [Sun, 3 Oct 2010 19:58:01 +0000 (15:58 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 19:43:20 +0000 (15:43 -0400)]
Merge branch 'pryor'
Jim Pryor [Sun, 3 Oct 2010 19:43:18 +0000 (15:43 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 19:42:28 +0000 (15:42 -0400)]
Merge branch 'pryor'
Jim Pryor [Sun, 3 Oct 2010 19:42:26 +0000 (15:42 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 19:41:09 +0000 (15:41 -0400)]
Merge branch 'pryor'
Jim Pryor [Sun, 3 Oct 2010 19:41:04 +0000 (15:41 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Sun, 3 Oct 2010 19:31:47 +0000 (15:31 -0400)]
removed notes
Chris Barker [Sun, 3 Oct 2010 19:11:03 +0000 (15:11 -0400)]
edit
Chris Barker [Sun, 3 Oct 2010 19:10:06 +0000 (15:10 -0400)]
edit
Chris Barker [Sun, 3 Oct 2010 19:09:37 +0000 (15:09 -0400)]
edit
Chris Barker [Sun, 3 Oct 2010 19:08:27 +0000 (15:08 -0400)]
edit
barker [Sun, 3 Oct 2010 19:07:11 +0000 (15:07 -0400)]
Chris Barker [Sun, 3 Oct 2010 18:35:16 +0000 (14:35 -0400)]
assignment 3 evalutor preload
Chris Barker [Sun, 3 Oct 2010 18:34:56 +0000 (14:34 -0400)]
assignment 3 evalutor preload
Chris Barker [Sun, 3 Oct 2010 18:33:30 +0000 (14:33 -0400)]
Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
Chris Barker [Sun, 3 Oct 2010 18:33:24 +0000 (14:33 -0400)]
assignment 3 evalutor preload
Jim Pryor [Sun, 3 Oct 2010 18:32:06 +0000 (14:32 -0400)]
index: announcements
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 18:22:48 +0000 (14:22 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 18:08:42 +0000 (14:08 -0400)]
week4 tweaking
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:37:29 +0000 (13:37 -0400)]
week4 debugging more
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:36:49 +0000 (13:36 -0400)]
week4 debugging more
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:35:50 +0000 (13:35 -0400)]
week4 debugging more
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:35:05 +0000 (13:35 -0400)]
week4 debugging more
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:34:11 +0000 (13:34 -0400)]
week4 debugging
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:32:32 +0000 (13:32 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:30:20 +0000 (13:30 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:28:31 +0000 (13:28 -0400)]
assignment3 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:26:26 +0000 (13:26 -0400)]
assignment3 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:26:09 +0000 (13:26 -0400)]
assignment3 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:25:40 +0000 (13:25 -0400)]
assignment3 naming fussing
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:19:34 +0000 (13:19 -0400)]
lexer tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:18:16 +0000 (13:18 -0400)]
lexer tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:12:48 +0000 (13:12 -0400)]
assignment3: formatting and terminological consistency with other pages
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:09:07 +0000 (13:09 -0400)]
week4: formatting tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:00:38 +0000 (13:00 -0400)]
fix links to v4 lists
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 17:00:22 +0000 (13:00 -0400)]
proof of fixed points: W->L, be more specific about '='
Signed-off-by: Jim Pryor <profjim@jimpryor.net>