Chris [Tue, 17 Feb 2015 23:23:34 +0000 (18:23 -0500)]
the succ fixed point as arithmetic infinity
Chris [Tue, 17 Feb 2015 21:56:13 +0000 (16:56 -0500)]
edits
chris [Tue, 17 Feb 2015 21:40:26 +0000 (16:40 -0500)]
Chris [Tue, 17 Feb 2015 21:37:21 +0000 (16:37 -0500)]
edits for fixed-point
Chris [Tue, 17 Feb 2015 20:51:41 +0000 (15:51 -0500)]
replace get_length with length
Chris [Tue, 17 Feb 2015 02:59:29 +0000 (21:59 -0500)]
added disclaimer about revised lambda->CL map
Chris [Mon, 16 Feb 2015 21:19:29 +0000 (16:19 -0500)]
adjust
Chris [Mon, 16 Feb 2015 21:13:53 +0000 (16:13 -0500)]
switched the map from lambda to CL back to Barendregt's
jim [Mon, 16 Feb 2015 11:41:34 +0000 (06:41 -0500)]
tweak
jim [Sun, 15 Feb 2015 17:06:54 +0000 (12:06 -0500)]
cleanup
jim [Sun, 15 Feb 2015 16:55:59 +0000 (11:55 -0500)]
Kyle pointed out we had them define head in terms of Kapulet/fold_right last week
jim [Sun, 15 Feb 2015 16:19:23 +0000 (11:19 -0500)]
update links
jim [Sun, 15 Feb 2015 16:17:55 +0000 (11:17 -0500)]
update links
jim [Sun, 15 Feb 2015 16:16:49 +0000 (11:16 -0500)]
add #other-lists
jim [Sun, 15 Feb 2015 16:11:13 +0000 (11:11 -0500)]
add new encodings
jim [Sun, 15 Feb 2015 14:27:26 +0000 (09:27 -0500)]
refinements
jim [Sat, 14 Feb 2015 23:25:57 +0000 (18:25 -0500)]
glossary for joke
jim [Sat, 14 Feb 2015 23:23:19 +0000 (18:23 -0500)]
add Lennon link
jim [Sat, 14 Feb 2015 23:22:30 +0000 (18:22 -0500)]
cleanup
jim [Sat, 14 Feb 2015 22:54:41 +0000 (17:54 -0500)]
tweak omega names
jim [Sat, 14 Feb 2015 22:53:32 +0000 (17:53 -0500)]
add names for omega and Omega
jim [Sat, 14 Feb 2015 22:50:07 +0000 (17:50 -0500)]
tweak
jim [Sat, 14 Feb 2015 22:47:10 +0000 (17:47 -0500)]
reorder
jim [Sat, 14 Feb 2015 22:44:27 +0000 (17:44 -0500)]
clean up
jim [Sat, 14 Feb 2015 22:01:42 +0000 (17:01 -0500)]
tweak
jim [Sat, 14 Feb 2015 22:01:00 +0000 (17:01 -0500)]
alignment
jim [Sat, 14 Feb 2015 21:28:37 +0000 (16:28 -0500)]
post arithmetic
jim [Sat, 14 Feb 2015 21:27:29 +0000 (16:27 -0500)]
post arithmetic
jim [Sat, 14 Feb 2015 21:22:34 +0000 (16:22 -0500)]
Cleanup and finish
jim [Sat, 14 Feb 2015 18:12:08 +0000 (13:12 -0500)]
create page
jim [Sat, 14 Feb 2015 17:43:34 +0000 (12:43 -0500)]
Move map2 question
jim [Sat, 14 Feb 2015 17:41:45 +0000 (12:41 -0500)]
add map2 extra credit
jim [Sat, 14 Feb 2015 15:54:30 +0000 (10:54 -0500)]
update with week3 links
jim [Sat, 14 Feb 2015 15:51:48 +0000 (10:51 -0500)]
remove final "please wait..." notice
jim [Sat, 14 Feb 2015 15:49:36 +0000 (10:49 -0500)]
post homework3 and some more link-promises
jim [Sat, 14 Feb 2015 15:37:51 +0000 (10:37 -0500)]
clarify dot rule
jim [Sat, 14 Feb 2015 15:28:34 +0000 (10:28 -0500)]
clarify instructions
jim [Sat, 14 Feb 2015 15:26:47 +0000 (10:26 -0500)]
clarify instructions
jim [Sat, 14 Feb 2015 14:55:46 +0000 (09:55 -0500)]
formatting
jim [Sat, 14 Feb 2015 14:55:26 +0000 (09:55 -0500)]
tweak
jim [Sat, 14 Feb 2015 14:52:37 +0000 (09:52 -0500)]
tweak
jim [Sat, 14 Feb 2015 12:58:13 +0000 (07:58 -0500)]
tweak
jim [Sat, 14 Feb 2015 12:57:45 +0000 (07:57 -0500)]
tweak
jim [Sat, 14 Feb 2015 12:55:34 +0000 (07:55 -0500)]
create page
jim [Sat, 14 Feb 2015 12:50:33 +0000 (07:50 -0500)]
add list_equal? and zero?, formatting
jim [Thu, 12 Feb 2015 18:09:51 +0000 (13:09 -0500)]
tweaks, links
jim [Thu, 12 Feb 2015 18:07:49 +0000 (13:07 -0500)]
add anchors
Jim [Thu, 12 Feb 2015 18:05:17 +0000 (13:05 -0500)]
combinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 17:55:56 +0000 (12:55 -0500)]
combinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 17:26:54 +0000 (12:26 -0500)]
combinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 17:24:19 +0000 (12:24 -0500)]
combinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 16:49:37 +0000 (11:49 -0500)]
Merge branch 'working'
* working:
tweak combinatory
Jim [Thu, 12 Feb 2015 16:49:04 +0000 (11:49 -0500)]
tweak combinatory
Jim [Thu, 12 Feb 2015 16:49:04 +0000 (11:49 -0500)]
tweak combinatory
chris [Thu, 12 Feb 2015 16:06:32 +0000 (11:06 -0500)]
Chris [Thu, 12 Feb 2015 16:01:24 +0000 (11:01 -0500)]
fixing computation discussion
chris [Thu, 12 Feb 2015 15:53:13 +0000 (10:53 -0500)]
Chris [Thu, 12 Feb 2015 15:50:55 +0000 (10:50 -0500)]
added discussion of computation
Chris [Thu, 12 Feb 2015 15:39:57 +0000 (10:39 -0500)]
move computation discussion live
Jim [Thu, 12 Feb 2015 15:26:48 +0000 (10:26 -0500)]
->combinatory
Jim [Thu, 12 Feb 2015 15:21:34 +0000 (10:21 -0500)]
chomp more whitespace
Jim [Thu, 12 Feb 2015 15:14:20 +0000 (10:14 -0500)]
chomp whitespace
Chris [Thu, 12 Feb 2015 03:48:35 +0000 (22:48 -0500)]
merged in new exercises for week 3
Chris [Thu, 12 Feb 2015 03:47:33 +0000 (22:47 -0500)]
added some exercises related to CL
chris [Thu, 12 Feb 2015 03:05:33 +0000 (22:05 -0500)]
chris [Thu, 12 Feb 2015 03:04:28 +0000 (22:04 -0500)]
Chris [Thu, 12 Feb 2015 02:59:07 +0000 (21:59 -0500)]
moved file live
Chris [Thu, 12 Feb 2015 02:21:44 +0000 (21:21 -0500)]
added discussion of computation
chris [Wed, 11 Feb 2015 19:47:32 +0000 (14:47 -0500)]
added link to Scott's history of the lambda calculus
Chris [Wed, 11 Feb 2015 17:21:59 +0000 (12:21 -0500)]
Rewrite of the Y discussion
Jim [Tue, 10 Feb 2015 22:10:00 +0000 (17:10 -0500)]
Merge branch 'master' into working
* master:
fill in answers to 25
expand on Scheme heads
#true in r7rs
move Real World OCaml
add stubs for week3
Jim [Tue, 10 Feb 2015 22:09:45 +0000 (17:09 -0500)]
add eval_order (raw)
jim [Tue, 10 Feb 2015 17:37:59 +0000 (12:37 -0500)]
fill in answers to 25
jim [Tue, 10 Feb 2015 17:16:30 +0000 (12:16 -0500)]
expand on Scheme heads
jim [Tue, 10 Feb 2015 17:11:50 +0000 (12:11 -0500)]
#true in r7rs
jim [Tue, 10 Feb 2015 16:37:52 +0000 (11:37 -0500)]
move Real World OCaml
jim [Tue, 10 Feb 2015 16:08:00 +0000 (11:08 -0500)]
add stubs for week3
Jim [Tue, 10 Feb 2015 11:12:22 +0000 (06:12 -0500)]
Merge branch 'master' into working
* master: (22 commits)
rename exercises/assignment2_answers.mdwn to exercises/_assignment2_answers.mdwn
just link to hint for `reverse`
compare `cons`
create page
link to answers1
formatting, code style
link to answers to week1 homework
create solutions
redo hint links
removed
create page
create page
reorganize, add some (as-yet-unlinked) titles for week 3
add anchors
tweak explanation of why `f` is curried
clarify why Lambda Calculus prefers curried functions, thanks for input Kyle
38e98c659e1819ddd4457935508ee12824b50241
edits to combinatory logic
added old CL text
clarify constraints
...
jim [Tue, 10 Feb 2015 11:11:46 +0000 (06:11 -0500)]
rename exercises/assignment2_answers.mdwn to exercises/_assignment2_answers.mdwn
jim [Tue, 10 Feb 2015 03:41:02 +0000 (22:41 -0500)]
just link to hint for `reverse`
jim [Tue, 10 Feb 2015 03:35:30 +0000 (22:35 -0500)]
compare `cons`
jim [Tue, 10 Feb 2015 03:31:16 +0000 (22:31 -0500)]
create page
jim [Tue, 10 Feb 2015 02:41:39 +0000 (21:41 -0500)]
link to answers1
jim [Tue, 10 Feb 2015 02:27:00 +0000 (21:27 -0500)]
formatting, code style
jim [Tue, 10 Feb 2015 02:04:48 +0000 (21:04 -0500)]
link to answers to week1 homework
jim [Tue, 10 Feb 2015 02:03:49 +0000 (21:03 -0500)]
create solutions
jim [Mon, 9 Feb 2015 23:36:20 +0000 (18:36 -0500)]
redo hint links
jim [Mon, 9 Feb 2015 23:35:33 +0000 (18:35 -0500)]
removed
jim [Mon, 9 Feb 2015 23:35:17 +0000 (18:35 -0500)]
create page
jim [Mon, 9 Feb 2015 23:34:52 +0000 (18:34 -0500)]
create page
jim [Mon, 9 Feb 2015 23:31:50 +0000 (18:31 -0500)]
reorganize, add some (as-yet-unlinked) titles for week 3
jim [Mon, 9 Feb 2015 23:18:21 +0000 (18:18 -0500)]
add anchors
jim [Mon, 9 Feb 2015 23:13:16 +0000 (18:13 -0500)]
tweak explanation of why `f` is curried
jim [Mon, 9 Feb 2015 23:09:52 +0000 (18:09 -0500)]
clarify why Lambda Calculus prefers curried functions, thanks for input Kyle
chris [Mon, 9 Feb 2015 22:18:33 +0000 (17:18 -0500)]
Chris [Mon, 9 Feb 2015 22:15:40 +0000 (17:15 -0500)]
edits to combinatory logic
Chris [Mon, 9 Feb 2015 21:26:58 +0000 (16:26 -0500)]
Adding file on combinatory logic
Merge branch 'working'
Chris [Mon, 9 Feb 2015 21:25:24 +0000 (16:25 -0500)]
added old CL text
jim [Mon, 9 Feb 2015 21:11:03 +0000 (16:11 -0500)]
clarify constraints
Chris [Mon, 9 Feb 2015 20:54:36 +0000 (15:54 -0500)]
typo