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>
Jim Pryor [Tue, 24 Aug 2010 03:52:21 +0000 (23:52 -0400)]
Merge branch 'pryor'
Conflicts:
schedule_of_topics.mdwn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 03:51:24 +0000 (23:51 -0400)]
Merge remote branch 'origin/master'
Jim Pryor [Tue, 24 Aug 2010 03:51:01 +0000 (23:51 -0400)]
schedule: reformat lists, use auto-numbering in some of them (fixed)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 03:42:40 +0000 (23:42 -0400)]
Jim Pryor [Tue, 24 Aug 2010 03:39:09 +0000 (23:39 -0400)]
Merge branch 'pryor'
Conflicts:
schedule_of_topics.mdwn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:46:28 +0000 (22:46 -0400)]
offsite_reading more formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:43:57 +0000 (22:43 -0400)]
offsite_reading formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:04:23 +0000 (22:04 -0400)]
formatted offsite_reading
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:02:51 +0000 (22:02 -0400)]
added offsite_reading list
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 00:34:53 +0000 (20:34 -0400)]
schedule tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 03:34:42 +0000 (23:34 -0400)]
schedule: reformat lists, use auto-numbering in some of them
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:46:58 +0000 (22:46 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 02:46:28 +0000 (22:46 -0400)]
offsite_reading more formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:44:10 +0000 (22:44 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 02:43:57 +0000 (22:43 -0400)]
offsite_reading formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:06:01 +0000 (22:06 -0400)]
Merge branch 'pryor'
Jim Pryor [Tue, 24 Aug 2010 02:04:23 +0000 (22:04 -0400)]
formatted offsite_reading
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 24 Aug 2010 02:02:51 +0000 (22:02 -0400)]
added offsite_reading list
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Tue, 24 Aug 2010 01:01:01 +0000 (21:01 -0400)]
barker [Tue, 24 Aug 2010 01:00:06 +0000 (21:00 -0400)]
barker [Tue, 24 Aug 2010 00:51:30 +0000 (20:51 -0400)]
Jim Pryor [Tue, 24 Aug 2010 00:34:53 +0000 (20:34 -0400)]
schedule tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Tue, 24 Aug 2010 00:20:26 +0000 (20:20 -0400)]
barker [Tue, 24 Aug 2010 00:14:31 +0000 (20:14 -0400)]
barker [Tue, 24 Aug 2010 00:09:57 +0000 (20:09 -0400)]
barker [Tue, 24 Aug 2010 00:09:04 +0000 (20:09 -0400)]
barker [Tue, 24 Aug 2010 00:08:14 +0000 (20:08 -0400)]
barker [Tue, 24 Aug 2010 00:02:42 +0000 (20:02 -0400)]
barker [Mon, 23 Aug 2010 23:59:04 +0000 (19:59 -0400)]
barker [Mon, 23 Aug 2010 23:52:31 +0000 (19:52 -0400)]
barker [Mon, 23 Aug 2010 23:42:01 +0000 (19:42 -0400)]
Jim Pryor [Mon, 23 Aug 2010 23:10:45 +0000 (19:10 -0400)]
added todo page
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 23:00:15 +0000 (19:00 -0400)]
comment on differences btw Hankin / Hindley&Selden
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 22:41:55 +0000 (18:41 -0400)]
typo
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 22:34:22 +0000 (18:34 -0400)]
added some application reminders
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 21:53:05 +0000 (17:53 -0400)]
added Expletives
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 21:49:41 +0000 (17:49 -0400)]
schedule tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 21:25:31 +0000 (17:25 -0400)]
draft schedule
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 20:49:26 +0000 (16:49 -0400)]
OCaml or Objective Caml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 20:46:03 +0000 (16:46 -0400)]
promote schedule link to H2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 20:43:05 +0000 (16:43 -0400)]
moved schedule stub to separate page
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 20:40:22 +0000 (16:40 -0400)]
add note about Hindley and Seldin
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 18:38:58 +0000 (14:38 -0400)]
OCaml -> Caml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 18:36:14 +0000 (14:36 -0400)]
reformat didn't work, markdown too simple, wish we had pandoc
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 18:34:29 +0000 (14:34 -0400)]
formatting of bulleted block
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 18:14:11 +0000 (14:14 -0400)]
more book info, reformatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 18:04:47 +0000 (14:04 -0400)]
escape underscores
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 17:40:16 +0000 (13:40 -0400)]
course info
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 17:23:15 +0000 (13:23 -0400)]
how_to_get typos
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 17:17:03 +0000 (13:17 -0400)]
formatting/tweaking the how_to_get page
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 17:04:04 +0000 (13:04 -0400)]
removed test discussion on index page
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 17:01:57 +0000 (13:01 -0400)]
rearranged index
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Mon, 23 Aug 2010 16:34:19 +0000 (12:34 -0400)]
merged in overview
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Mon, 23 Aug 2010 16:20:10 +0000 (12:20 -0400)]
barker [Mon, 23 Aug 2010 16:14:19 +0000 (12:14 -0400)]
barker [Mon, 23 Aug 2010 16:12:49 +0000 (12:12 -0400)]
Chris Barker [Mon, 23 Aug 2010 16:07:32 +0000 (12:07 -0400)]
Added installation instructions
Signed-off-by: Chris Barker <barker@barker.linguistics.fas.nyu.edu>