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>
Jim Pryor [Sun, 3 Oct 2010 16:51:43 +0000 (12:51 -0400)]
tweak reorg
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 16:46:33 +0000 (12:46 -0400)]
more reorg
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 16:46:22 +0000 (12:46 -0400)]
reorg
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 16:29:59 +0000 (12:29 -0400)]
remove link to advanced from index
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 16:25:56 +0000 (12:25 -0400)]
new_stuff
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 16:23:49 +0000 (12:23 -0400)]
move type stuff to 'week5' page (without prejudice against covering it in week4)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 16:07:34 +0000 (12:07 -0400)]
move hints to subdir
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 14:34:36 +0000 (10:34 -0400)]
add list_equal to library (commented out)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 08:07:23 +0000 (04:07 -0400)]
reformat advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 08:04:47 +0000 (04:04 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 08:00:19 +0000 (04:00 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:59:52 +0000 (03:59 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:59:22 +0000 (03:59 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:57:47 +0000 (03:57 -0400)]
add trees to advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:09:42 +0000 (03:09 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:08:58 +0000 (03:08 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:08:27 +0000 (03:08 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 07:05:59 +0000 (03:05 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:37:32 +0000 (02:37 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:34:31 +0000 (02:34 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:29:16 +0000 (02:29 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:25:21 +0000 (02:25 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:24:48 +0000 (02:24 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:23:22 +0000 (02:23 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:09:31 +0000 (02:09 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:06:42 +0000 (02:06 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 06:05:16 +0000 (02:05 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 05:55:39 +0000 (01:55 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 05:52:33 +0000 (01:52 -0400)]
tweak advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 05:46:36 +0000 (01:46 -0400)]
continuing advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 02:44:24 +0000 (22:44 -0400)]
update index to point to advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 02:41:39 +0000 (22:41 -0400)]
start lambda_advanced
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 02:41:19 +0000 (22:41 -0400)]
week 4: added html comment
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 01:51:02 +0000 (21:51 -0400)]
library tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 01:47:44 +0000 (21:47 -0400)]
Merge branch 'pryor'
Jim Pryor [Sun, 3 Oct 2010 01:47:40 +0000 (21:47 -0400)]
link to lambda library
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 01:47:18 +0000 (21:47 -0400)]
index: prepare for posting week4 notes
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 01:46:53 +0000 (21:46 -0400)]
index: update announcements
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 01:39:02 +0000 (21:39 -0400)]
arithmetic -> lambda_library
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 3 Oct 2010 01:38:28 +0000 (21:38 -0400)]
arithmetic tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Sun, 3 Oct 2010 01:08:05 +0000 (21:08 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:07:22 +0000 (21:07 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:07:09 +0000 (21:07 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:06:52 +0000 (21:06 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:05:48 +0000 (21:05 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:05:40 +0000 (21:05 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:01:20 +0000 (21:01 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 01:00:13 +0000 (21:00 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 00:59:21 +0000 (20:59 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 00:59:00 +0000 (20:59 -0400)]
edits
Chris Barker [Sun, 3 Oct 2010 00:57:15 +0000 (20:57 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:39:51 +0000 (15:39 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:37:38 +0000 (15:37 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:35:18 +0000 (15:35 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:32:31 +0000 (15:32 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:31:54 +0000 (15:31 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:30:20 +0000 (15:30 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:23:54 +0000 (15:23 -0400)]
edits
Chris Barker [Sat, 2 Oct 2010 19:23:05 +0000 (15:23 -0400)]
edits