lambda.git
8 years agotweak ml code/instructions
Jim Pryor [Mon, 20 Sep 2010 16:16:44 +0000 (12:16 -0400)]
tweak ml code/instructions

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agonumbers: tweaks
Jim Pryor [Mon, 20 Sep 2010 16:10:53 +0000 (12:10 -0400)]
numbers: tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agousing: tweaks
Jim Pryor [Mon, 20 Sep 2010 16:08:56 +0000 (12:08 -0400)]
using: tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agostart linking to lambda calculators
Jim Pryor [Mon, 20 Sep 2010 16:07:20 +0000 (12:07 -0400)]
start linking to lambda calculators

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agodelete ocaml binaries
Jim Pryor [Mon, 20 Sep 2010 15:52:30 +0000 (11:52 -0400)]
delete ocaml binaries

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agofixed merge
Jim Pryor [Mon, 20 Sep 2010 15:44:10 +0000 (11:44 -0400)]
fixed merge

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agomove *.js, *.ml -> code/
Jim Pryor [Mon, 20 Sep 2010 15:42:50 +0000 (11:42 -0400)]
move *.js, *.ml -> code/

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agominor
Chris Barker [Mon, 20 Sep 2010 15:40:47 +0000 (11:40 -0400)]
minor

8 years agoMerge branch 'pryor'
Jim Pryor [Mon, 20 Sep 2010 15:18:37 +0000 (11:18 -0400)]
Merge branch 'pryor'

8 years agoreword assignment 2
Jim Pryor [Mon, 20 Sep 2010 15:18:16 +0000 (11:18 -0400)]
reword assignment 2

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agofiddles
Chris Barker [Mon, 20 Sep 2010 13:41:05 +0000 (09:41 -0400)]
fiddles

8 years agoassignment 2 tweak
Jim Pryor [Mon, 20 Sep 2010 11:12:47 +0000 (07:12 -0400)]
assignment 2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoassignment 2 tweak
Jim Pryor [Mon, 20 Sep 2010 11:11:52 +0000 (07:11 -0400)]
assignment 2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoassignment 2 formatting
Jim Pryor [Mon, 20 Sep 2010 11:10:43 +0000 (07:10 -0400)]
assignment 2 formatting

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoMerge branch 'pryor'
Jim Pryor [Mon, 20 Sep 2010 11:04:54 +0000 (07:04 -0400)]
Merge branch 'pryor'

8 years agoweek2: more fussy notes
Jim Pryor [Mon, 20 Sep 2010 11:04:39 +0000 (07:04 -0400)]
week2: more fussy notes

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoA way to test homework solutions for students
Chris Barker [Mon, 20 Sep 2010 05:27:30 +0000 (01:27 -0400)]
A way to test homework solutions for students

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:51:32 +0000 (23:51 -0400)]

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:50:44 +0000 (23:50 -0400)]

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:49:39 +0000 (23:49 -0400)]

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:48:34 +0000 (23:48 -0400)]

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:44:28 +0000 (23:44 -0400)]

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:41:19 +0000 (23:41 -0400)]

8 years ago(no commit message)
barker [Mon, 20 Sep 2010 03:40:12 +0000 (23:40 -0400)]

8 years agoexpand assignment 2
Jim Pryor [Mon, 20 Sep 2010 02:28:11 +0000 (22:28 -0400)]
expand assignment 2

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2: tweak, undecidability of pred logic
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>
8 years agopost week2 stuff
Jim Pryor [Sun, 19 Sep 2010 23:37:33 +0000 (19:37 -0400)]
post week2 stuff

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek3 tweak
Jim Pryor [Sun, 19 Sep 2010 23:37:17 +0000 (19:37 -0400)]
week3 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek3 tweak
Jim Pryor [Sun, 19 Sep 2010 23:14:09 +0000 (19:14 -0400)]
week3 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweak
Jim Pryor [Sun, 19 Sep 2010 22:48:27 +0000 (18:48 -0400)]
week2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2: ~~>_eta
Jim Pryor [Sun, 19 Sep 2010 22:47:13 +0000 (18:47 -0400)]
week2: ~~>_eta

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweak
Jim Pryor [Sun, 19 Sep 2010 22:41:42 +0000 (18:41 -0400)]
week2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweak
Jim Pryor [Sun, 19 Sep 2010 22:40:57 +0000 (18:40 -0400)]
week2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweak
Jim Pryor [Sun, 19 Sep 2010 22:34:39 +0000 (18:34 -0400)]
week2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweak
Jim Pryor [Sun, 19 Sep 2010 22:11:39 +0000 (18:11 -0400)]
week2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweak
Jim Pryor [Sun, 19 Sep 2010 22:11:02 +0000 (18:11 -0400)]
week2 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 reorg some alpha-equiv stuff
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>
8 years agoweek1 add link
Jim Pryor [Sun, 19 Sep 2010 22:00:03 +0000 (18:00 -0400)]
week1 add link

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweaks
Jim Pryor [Sun, 19 Sep 2010 18:50:51 +0000 (14:50 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek1: functional ocaml turing complete after all
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>
8 years agoweek2 tweaks (eta-reduction)
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>
8 years agoweek2 tweaks
Jim Pryor [Sun, 19 Sep 2010 18:10:39 +0000 (14:10 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweaks
Jim Pryor [Sun, 19 Sep 2010 18:09:53 +0000 (14:09 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2: expand on eta and extensionality
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>
8 years agoMerge branch 'pryor'
Jim Pryor [Sun, 19 Sep 2010 17:47:15 +0000 (13:47 -0400)]
Merge branch 'pryor'

8 years agoweek2 typo
Jim Pryor [Sun, 19 Sep 2010 17:47:06 +0000 (13:47 -0400)]
week2 typo

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2: comments about alpha-conversion, de Bruijn
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>
8 years agoweek1 fixes
Jim Pryor [Sun, 19 Sep 2010 17:14:34 +0000 (13:14 -0400)]
week1 fixes

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years ago(no commit message)
barker [Sun, 19 Sep 2010 15:50:35 +0000 (11:50 -0400)]

8 years ago(no commit message)
barker [Sun, 19 Sep 2010 15:50:17 +0000 (11:50 -0400)]

8 years ago(no commit message)
barker [Sun, 19 Sep 2010 15:44:25 +0000 (11:44 -0400)]

8 years ago(no commit message)
barker [Sun, 19 Sep 2010 15:40:35 +0000 (11:40 -0400)]

8 years ago(no commit message)
barker [Sun, 19 Sep 2010 15:37:20 +0000 (11:37 -0400)]

8 years agoweek3 tweaks
Jim Pryor [Sun, 19 Sep 2010 14:59:19 +0000 (10:59 -0400)]
week3 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek3 tweaks
Jim Pryor [Sun, 19 Sep 2010 12:52:26 +0000 (08:52 -0400)]
week3 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek3 tweaks
Jim Pryor [Sun, 19 Sep 2010 12:46:30 +0000 (08:46 -0400)]
week3 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek3 tweaks
Jim Pryor [Sun, 19 Sep 2010 06:37:04 +0000 (02:37 -0400)]
week3 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 23:33:55 +0000 (19:33 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 23:32:14 +0000 (19:32 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agokept developing week3
Jim Pryor [Sat, 18 Sep 2010 23:30:08 +0000 (19:30 -0400)]
kept developing week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:59:13 +0000 (17:59 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:51:27 +0000 (17:51 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:50:17 +0000 (17:50 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:47:44 +0000 (17:47 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:42:26 +0000 (17:42 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:40:39 +0000 (17:40 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweaked week3
Jim Pryor [Sat, 18 Sep 2010 21:39:48 +0000 (17:39 -0400)]
tweaked week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoMerge branch 'pryor'
Jim Pryor [Sat, 18 Sep 2010 21:31:59 +0000 (17:31 -0400)]
Merge branch 'pryor'

8 years agokept developing week3
Jim Pryor [Sat, 18 Sep 2010 21:31:56 +0000 (17:31 -0400)]
kept developing week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years ago(no commit message)
barker [Sat, 18 Sep 2010 20:30:20 +0000 (16:30 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 20:23:31 +0000 (16:23 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 20:18:23 +0000 (16:18 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 20:07:58 +0000 (16:07 -0400)]

8 years agoMerge branch 'pryor'
Jim Pryor [Sat, 18 Sep 2010 20:03:54 +0000 (16:03 -0400)]
Merge branch 'pryor'

8 years agodeveloped week3
Jim Pryor [Sat, 18 Sep 2010 20:03:50 +0000 (16:03 -0400)]
developed week3

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years ago(no commit message)
barker [Sat, 18 Sep 2010 19:54:59 +0000 (15:54 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 19:26:52 +0000 (15:26 -0400)]

8 years agoweek2 tweaks
Jim Pryor [Sat, 18 Sep 2010 19:23:26 +0000 (15:23 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweaks
Jim Pryor [Sat, 18 Sep 2010 19:07:13 +0000 (15:07 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweaks
Jim Pryor [Sat, 18 Sep 2010 19:06:46 +0000 (15:06 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek2 tweaks
Jim Pryor [Sat, 18 Sep 2010 19:04:53 +0000 (15:04 -0400)]
week2 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years ago(no commit message)
barker [Sat, 18 Sep 2010 14:53:25 +0000 (10:53 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 14:21:54 +0000 (10:21 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 14:06:31 +0000 (10:06 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:47:09 +0000 (09:47 -0400)]

8 years agoMerge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
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

8 years agoresized image
Chris Barker [Sat, 18 Sep 2010 13:43:47 +0000 (09:43 -0400)]
resized image

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:42:32 +0000 (09:42 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:40:37 +0000 (09:40 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:40:09 +0000 (09:40 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:38:41 +0000 (09:38 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:33:56 +0000 (09:33 -0400)]

8 years agoMerge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
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

8 years agoSzabolcsi reflexive image
Chris Barker [Sat, 18 Sep 2010 13:33:10 +0000 (09:33 -0400)]
Szabolcsi reflexive image

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:28:05 +0000 (09:28 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:27:26 +0000 (09:27 -0400)]

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 13:26:33 +0000 (09:26 -0400)]

8 years agoWriting lecture 2
Chris Barker [Sat, 18 Sep 2010 13:25:25 +0000 (09:25 -0400)]
Writing lecture 2

8 years ago(no commit message)
barker [Sat, 18 Sep 2010 12:32:18 +0000 (08:32 -0400)]

8 years agoannounce student session
Jim Pryor [Fri, 17 Sep 2010 22:12:16 +0000 (18:12 -0400)]
announce student session

Signed-off-by: Jim Pryor <profjim@jimpryor.net>