barker [Mon, 20 Sep 2010 03:41:19 +0000 (23:41 -0400)]
barker [Mon, 20 Sep 2010 03:40:12 +0000 (23:40 -0400)]
Jim Pryor [Mon, 20 Sep 2010 02:28:11 +0000 (22:28 -0400)]
expand assignment 2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 20 Sep 2010 02:27:59 +0000 (22:27 -0400)]
week2: tweak, undecidability of pred logic
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 23:37:33 +0000 (19:37 -0400)]
post week2 stuff
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 23:37:17 +0000 (19:37 -0400)]
week3 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 23:14:09 +0000 (19:14 -0400)]
week3 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:48:27 +0000 (18:48 -0400)]
week2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:47:13 +0000 (18:47 -0400)]
week2: ~~>_eta
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:41:42 +0000 (18:41 -0400)]
week2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:40:57 +0000 (18:40 -0400)]
week2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:34:39 +0000 (18:34 -0400)]
week2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:11:39 +0000 (18:11 -0400)]
week2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:11:02 +0000 (18:11 -0400)]
week2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:08:26 +0000 (18:08 -0400)]
week2 reorg some alpha-equiv stuff
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 22:00:03 +0000 (18:00 -0400)]
week1 add link
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 18:50:51 +0000 (14:50 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 18:47:27 +0000 (14:47 -0400)]
week1: functional ocaml turing complete after all
I think the presence of primitive let rec --> full Y combinator --> more
powerful than just second-order polymorphic lambda calculus, which is
strongly normalizing.
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 18:23:42 +0000 (14:23 -0400)]
week2 tweaks (eta-reduction)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 18:10:39 +0000 (14:10 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 18:09:53 +0000 (14:09 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 18:00:43 +0000 (14:00 -0400)]
week2: expand on eta and extensionality
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 17:47:15 +0000 (13:47 -0400)]
Merge branch 'pryor'
Jim Pryor [Sun, 19 Sep 2010 17:47:06 +0000 (13:47 -0400)]
week2 typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 17:46:47 +0000 (13:46 -0400)]
week2: comments about alpha-conversion, de Bruijn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 17:14:34 +0000 (13:14 -0400)]
week1 fixes
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Sun, 19 Sep 2010 15:50:35 +0000 (11:50 -0400)]
barker [Sun, 19 Sep 2010 15:50:17 +0000 (11:50 -0400)]
barker [Sun, 19 Sep 2010 15:44:25 +0000 (11:44 -0400)]
barker [Sun, 19 Sep 2010 15:40:35 +0000 (11:40 -0400)]
barker [Sun, 19 Sep 2010 15:37:20 +0000 (11:37 -0400)]
Jim Pryor [Sun, 19 Sep 2010 14:59:19 +0000 (10:59 -0400)]
week3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 12:52:26 +0000 (08:52 -0400)]
week3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 12:46:30 +0000 (08:46 -0400)]
week3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 19 Sep 2010 06:37:04 +0000 (02:37 -0400)]
week3 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 23:33:55 +0000 (19:33 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 23:32:14 +0000 (19:32 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 23:30:08 +0000 (19:30 -0400)]
kept developing week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:59:13 +0000 (17:59 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:51:27 +0000 (17:51 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:50:17 +0000 (17:50 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:47:44 +0000 (17:47 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:42:26 +0000 (17:42 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:40:39 +0000 (17:40 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:39:48 +0000 (17:39 -0400)]
tweaked week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 21:31:59 +0000 (17:31 -0400)]
Merge branch 'pryor'
Jim Pryor [Sat, 18 Sep 2010 21:31:56 +0000 (17:31 -0400)]
kept developing week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Sat, 18 Sep 2010 20:30:20 +0000 (16:30 -0400)]
barker [Sat, 18 Sep 2010 20:23:31 +0000 (16:23 -0400)]
barker [Sat, 18 Sep 2010 20:18:23 +0000 (16:18 -0400)]
barker [Sat, 18 Sep 2010 20:07:58 +0000 (16:07 -0400)]
Jim Pryor [Sat, 18 Sep 2010 20:03:54 +0000 (16:03 -0400)]
Merge branch 'pryor'
Jim Pryor [Sat, 18 Sep 2010 20:03:50 +0000 (16:03 -0400)]
developed week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Sat, 18 Sep 2010 19:54:59 +0000 (15:54 -0400)]
barker [Sat, 18 Sep 2010 19:26:52 +0000 (15:26 -0400)]
Jim Pryor [Sat, 18 Sep 2010 19:23:26 +0000 (15:23 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 19:07:13 +0000 (15:07 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 19:06:46 +0000 (15:06 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 18 Sep 2010 19:04:53 +0000 (15:04 -0400)]
week2 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Sat, 18 Sep 2010 14:53:25 +0000 (10:53 -0400)]
barker [Sat, 18 Sep 2010 14:21:54 +0000 (10:21 -0400)]
barker [Sat, 18 Sep 2010 14:06:31 +0000 (10:06 -0400)]
barker [Sat, 18 Sep 2010 13:47:09 +0000 (09:47 -0400)]
Chris Barker [Sat, 18 Sep 2010 13:43:54 +0000 (09:43 -0400)]
Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
Chris Barker [Sat, 18 Sep 2010 13:43:47 +0000 (09:43 -0400)]
resized image
barker [Sat, 18 Sep 2010 13:42:32 +0000 (09:42 -0400)]
barker [Sat, 18 Sep 2010 13:40:37 +0000 (09:40 -0400)]
barker [Sat, 18 Sep 2010 13:40:09 +0000 (09:40 -0400)]
barker [Sat, 18 Sep 2010 13:38:41 +0000 (09:38 -0400)]
barker [Sat, 18 Sep 2010 13:33:56 +0000 (09:33 -0400)]
Chris Barker [Sat, 18 Sep 2010 13:33:20 +0000 (09:33 -0400)]
Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
Chris Barker [Sat, 18 Sep 2010 13:33:10 +0000 (09:33 -0400)]
Szabolcsi reflexive image
barker [Sat, 18 Sep 2010 13:28:05 +0000 (09:28 -0400)]
barker [Sat, 18 Sep 2010 13:27:26 +0000 (09:27 -0400)]
barker [Sat, 18 Sep 2010 13:26:33 +0000 (09:26 -0400)]
Chris Barker [Sat, 18 Sep 2010 13:25:25 +0000 (09:25 -0400)]
Writing lecture 2
barker [Sat, 18 Sep 2010 12:32:18 +0000 (08:32 -0400)]
Jim Pryor [Fri, 17 Sep 2010 22:12:16 +0000 (18:12 -0400)]
announce student session
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 20:40:39 +0000 (16:40 -0400)]
tweak week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 20:37:40 +0000 (16:37 -0400)]
tweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 19:37:14 +0000 (15:37 -0400)]
tweak week{2,3}
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 19:36:50 +0000 (15:36 -0400)]
update schedule
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 19:29:35 +0000 (15:29 -0400)]
remove sandbox
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 13:28:18 +0000 (09:28 -0400)]
add assignment2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 12:40:02 +0000 (08:40 -0400)]
tweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 01:50:19 +0000 (21:50 -0400)]
fix multiplication
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 01:25:40 +0000 (21:25 -0400)]
lists_and_numbers: lists v3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 00:57:15 +0000 (20:57 -0400)]
tweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 00:53:20 +0000 (20:53 -0400)]
tweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 00:52:09 +0000 (20:52 -0400)]
tweak lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Fri, 17 Sep 2010 00:49:47 +0000 (20:49 -0400)]
expanding lists_and_numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 22:17:48 +0000 (18:17 -0400)]
spawn week3
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 22:15:22 +0000 (18:15 -0400)]
week1: add side-effects
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 22:13:46 +0000 (18:13 -0400)]
tweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 22:09:34 +0000 (18:09 -0400)]
reorg some links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 22:09:18 +0000 (18:09 -0400)]
merge lists, numbers
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 21:16:11 +0000 (17:16 -0400)]
tweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 21:15:22 +0000 (17:15 -0400)]
tweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 20:54:23 +0000 (16:54 -0400)]
damn: undelim -> delim
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 16 Sep 2010 20:46:32 +0000 (16:46 -0400)]
tweak week2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>