lambda.git
9 years agopost homework3 and some more link-promises
jim [Sat, 14 Feb 2015 15:49:36 +0000 (10:49 -0500)]
post homework3 and some more link-promises

9 years agoclarify dot rule
jim [Sat, 14 Feb 2015 15:37:51 +0000 (10:37 -0500)]
clarify dot rule

9 years agoclarify instructions
jim [Sat, 14 Feb 2015 15:28:34 +0000 (10:28 -0500)]
clarify instructions

9 years agoclarify instructions
jim [Sat, 14 Feb 2015 15:26:47 +0000 (10:26 -0500)]
clarify instructions

9 years agoformatting
jim [Sat, 14 Feb 2015 14:55:46 +0000 (09:55 -0500)]
formatting

9 years agotweak
jim [Sat, 14 Feb 2015 14:55:26 +0000 (09:55 -0500)]
tweak

9 years agotweak
jim [Sat, 14 Feb 2015 14:52:37 +0000 (09:52 -0500)]
tweak

9 years agotweak
jim [Sat, 14 Feb 2015 12:58:13 +0000 (07:58 -0500)]
tweak

9 years agotweak
jim [Sat, 14 Feb 2015 12:57:45 +0000 (07:57 -0500)]
tweak

9 years agocreate page
jim [Sat, 14 Feb 2015 12:55:34 +0000 (07:55 -0500)]
create page

9 years agoadd list_equal? and zero?, formatting
jim [Sat, 14 Feb 2015 12:50:33 +0000 (07:50 -0500)]
add list_equal? and zero?, formatting

9 years agotweaks, links
jim [Thu, 12 Feb 2015 18:09:51 +0000 (13:09 -0500)]
tweaks, links

9 years agoadd anchors
jim [Thu, 12 Feb 2015 18:07:49 +0000 (13:07 -0500)]
add anchors

9 years agocombinatory tweaks and formatting shared
Jim [Thu, 12 Feb 2015 18:05:17 +0000 (13:05 -0500)]
combinatory tweaks and formatting

9 years agocombinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 17:55:56 +0000 (12:55 -0500)]
combinatory tweaks and formatting

9 years agocombinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 17:26:54 +0000 (12:26 -0500)]
combinatory tweaks and formatting

9 years agocombinatory tweaks and formatting
Jim [Thu, 12 Feb 2015 17:24:19 +0000 (12:24 -0500)]
combinatory tweaks and formatting

9 years agoMerge branch 'working'
Jim [Thu, 12 Feb 2015 16:49:37 +0000 (11:49 -0500)]
Merge branch 'working'

* working:
  tweak combinatory

9 years agotweak combinatory
Jim [Thu, 12 Feb 2015 16:49:04 +0000 (11:49 -0500)]
tweak combinatory

9 years agotweak combinatory
Jim [Thu, 12 Feb 2015 16:49:04 +0000 (11:49 -0500)]
tweak combinatory

9 years ago(no commit message)
chris [Thu, 12 Feb 2015 16:06:32 +0000 (11:06 -0500)]

9 years agofixing computation discussion
Chris [Thu, 12 Feb 2015 16:01:24 +0000 (11:01 -0500)]
fixing computation discussion

9 years ago(no commit message)
chris [Thu, 12 Feb 2015 15:53:13 +0000 (10:53 -0500)]

9 years agoadded discussion of computation
Chris [Thu, 12 Feb 2015 15:50:55 +0000 (10:50 -0500)]
added discussion of computation

9 years agomove computation discussion live
Chris [Thu, 12 Feb 2015 15:39:57 +0000 (10:39 -0500)]
move computation discussion live

9 years ago->combinatory
Jim [Thu, 12 Feb 2015 15:26:48 +0000 (10:26 -0500)]
->combinatory

9 years agochomp more whitespace
Jim [Thu, 12 Feb 2015 15:21:34 +0000 (10:21 -0500)]
chomp more whitespace

9 years agochomp whitespace
Jim [Thu, 12 Feb 2015 15:14:20 +0000 (10:14 -0500)]
chomp whitespace

9 years agomerged in new exercises for week 3
Chris [Thu, 12 Feb 2015 03:48:35 +0000 (22:48 -0500)]
merged in new exercises for week 3

9 years agoadded some exercises related to CL
Chris [Thu, 12 Feb 2015 03:47:33 +0000 (22:47 -0500)]
added some exercises related to CL

9 years ago(no commit message)
chris [Thu, 12 Feb 2015 03:05:33 +0000 (22:05 -0500)]

9 years ago(no commit message)
chris [Thu, 12 Feb 2015 03:04:28 +0000 (22:04 -0500)]

9 years agomoved file live
Chris [Thu, 12 Feb 2015 02:59:07 +0000 (21:59 -0500)]
moved file live

9 years agoadded discussion of computation
Chris [Thu, 12 Feb 2015 02:21:44 +0000 (21:21 -0500)]
added discussion of computation

9 years agoadded link to Scott's history of the lambda calculus
chris [Wed, 11 Feb 2015 19:47:32 +0000 (14:47 -0500)]
added link to Scott's history of the lambda calculus

9 years agoRewrite of the Y discussion
Chris [Wed, 11 Feb 2015 17:21:59 +0000 (12:21 -0500)]
Rewrite of the Y discussion

9 years agoMerge branch 'master' into working
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

9 years agoadd eval_order (raw)
Jim [Tue, 10 Feb 2015 22:09:45 +0000 (17:09 -0500)]
add eval_order (raw)

9 years agofill in answers to 25
jim [Tue, 10 Feb 2015 17:37:59 +0000 (12:37 -0500)]
fill in answers to 25

9 years agoexpand on Scheme heads
jim [Tue, 10 Feb 2015 17:16:30 +0000 (12:16 -0500)]
expand on Scheme heads

9 years ago#true in r7rs
jim [Tue, 10 Feb 2015 17:11:50 +0000 (12:11 -0500)]
#true in r7rs

9 years agomove Real World OCaml
jim [Tue, 10 Feb 2015 16:37:52 +0000 (11:37 -0500)]
move Real World OCaml

9 years agoadd stubs for week3
jim [Tue, 10 Feb 2015 16:08:00 +0000 (11:08 -0500)]
add stubs for week3

9 years agoMerge branch 'master' into working
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
  ...

9 years agorename exercises/assignment2_answers.mdwn to exercises/_assignment2_answers.mdwn
jim [Tue, 10 Feb 2015 11:11:46 +0000 (06:11 -0500)]
rename exercises/assignment2_answers.mdwn to exercises/_assignment2_answers.mdwn

9 years agojust link to hint for `reverse`
jim [Tue, 10 Feb 2015 03:41:02 +0000 (22:41 -0500)]
just link to hint for `reverse`

9 years agocompare `cons`
jim [Tue, 10 Feb 2015 03:35:30 +0000 (22:35 -0500)]
compare `cons`

9 years agocreate page
jim [Tue, 10 Feb 2015 03:31:16 +0000 (22:31 -0500)]
create page

9 years agolink to answers1
jim [Tue, 10 Feb 2015 02:41:39 +0000 (21:41 -0500)]
link to answers1

9 years agoformatting, code style
jim [Tue, 10 Feb 2015 02:27:00 +0000 (21:27 -0500)]
formatting, code style

9 years agolink to answers to week1 homework
jim [Tue, 10 Feb 2015 02:04:48 +0000 (21:04 -0500)]
link to answers to week1 homework

9 years agocreate solutions
jim [Tue, 10 Feb 2015 02:03:49 +0000 (21:03 -0500)]
create solutions

9 years agoredo hint links
jim [Mon, 9 Feb 2015 23:36:20 +0000 (18:36 -0500)]
redo hint links

9 years agoremoved
jim [Mon, 9 Feb 2015 23:35:33 +0000 (18:35 -0500)]
removed

9 years agocreate page
jim [Mon, 9 Feb 2015 23:35:17 +0000 (18:35 -0500)]
create page

9 years agocreate page
jim [Mon, 9 Feb 2015 23:34:52 +0000 (18:34 -0500)]
create page

9 years agoreorganize, add some (as-yet-unlinked) titles for week 3
jim [Mon, 9 Feb 2015 23:31:50 +0000 (18:31 -0500)]
reorganize, add some (as-yet-unlinked) titles for week 3

9 years agoadd anchors
jim [Mon, 9 Feb 2015 23:18:21 +0000 (18:18 -0500)]
add anchors

9 years agotweak explanation of why `f` is curried
jim [Mon, 9 Feb 2015 23:13:16 +0000 (18:13 -0500)]
tweak explanation of why `f` is curried

9 years agoclarify why Lambda Calculus prefers curried functions, thanks for input Kyle
jim [Mon, 9 Feb 2015 23:09:52 +0000 (18:09 -0500)]
clarify why Lambda Calculus prefers curried functions, thanks for input Kyle

9 years ago(no commit message)
chris [Mon, 9 Feb 2015 22:18:33 +0000 (17:18 -0500)]

9 years agoedits to combinatory logic
Chris [Mon, 9 Feb 2015 22:15:40 +0000 (17:15 -0500)]
edits to combinatory logic

9 years agoAdding file on combinatory logic
Chris [Mon, 9 Feb 2015 21:26:58 +0000 (16:26 -0500)]
Adding file on combinatory logic

Merge branch 'working'

9 years agoadded old CL text
Chris [Mon, 9 Feb 2015 21:25:24 +0000 (16:25 -0500)]
added old CL text

9 years agoclarify constraints
jim [Mon, 9 Feb 2015 21:11:03 +0000 (16:11 -0500)]
clarify constraints

9 years agotypo
Chris [Mon, 9 Feb 2015 20:54:36 +0000 (15:54 -0500)]
typo

9 years agoadjusting table of contents
Chris [Mon, 9 Feb 2015 20:52:12 +0000 (15:52 -0500)]
adjusting table of contents

9 years agoexpand assignment3
Jim [Mon, 9 Feb 2015 01:57:10 +0000 (20:57 -0500)]
expand assignment3

9 years agomove images to images/
Jim [Mon, 9 Feb 2015 01:56:50 +0000 (20:56 -0500)]
move images to images/

9 years agoadd stubs
jim [Mon, 9 Feb 2015 01:01:02 +0000 (20:01 -0500)]
add stubs

9 years agoadd link to oleg
jim [Mon, 9 Feb 2015 00:56:26 +0000 (19:56 -0500)]
add link to oleg

9 years agomissing text
jim [Mon, 9 Feb 2015 00:51:41 +0000 (19:51 -0500)]
missing text

9 years agos/first/shortest/
jim [Mon, 9 Feb 2015 00:29:28 +0000 (19:29 -0500)]
s/first/shortest/

9 years ago"inner" expression
jim [Mon, 9 Feb 2015 00:22:57 +0000 (19:22 -0500)]
"inner" expression

9 years agobreak up long expression
jim [Mon, 9 Feb 2015 00:21:30 +0000 (19:21 -0500)]
break up long expression

9 years agoreally more than a hint
jim [Mon, 9 Feb 2015 00:08:27 +0000 (19:08 -0500)]
really more than a hint

9 years agoadd second hint
jim [Mon, 9 Feb 2015 00:08:04 +0000 (19:08 -0500)]
add second hint

9 years agocreate page
jim [Sun, 8 Feb 2015 23:44:13 +0000 (18:44 -0500)]
create page

9 years agofix previous overwrite
jim [Sun, 8 Feb 2015 23:42:17 +0000 (18:42 -0500)]
fix previous overwrite

9 years agocreate page
jim [Sun, 8 Feb 2015 23:41:09 +0000 (18:41 -0500)]
create page

9 years agocreate page, not yet linked
jim [Sun, 8 Feb 2015 23:37:25 +0000 (18:37 -0500)]
create page, not yet linked

9 years agotweak
jim [Sun, 8 Feb 2015 23:14:44 +0000 (18:14 -0500)]
tweak

9 years agocreate page
jim [Sun, 8 Feb 2015 23:14:00 +0000 (18:14 -0500)]
create page

9 years agotypo
jim [Sun, 8 Feb 2015 21:39:56 +0000 (16:39 -0500)]
typo

9 years agotweaks, one bug
jim [Sun, 8 Feb 2015 21:37:27 +0000 (16:37 -0500)]
tweaks, one bug

9 years agotweaks
jim [Sun, 8 Feb 2015 21:36:06 +0000 (16:36 -0500)]
tweaks

9 years agomarkup
jim [Sun, 8 Feb 2015 21:34:25 +0000 (16:34 -0500)]
markup

9 years agomarkup
jim [Sun, 8 Feb 2015 21:33:47 +0000 (16:33 -0500)]
markup

9 years agos/pair/triple/
jim [Sun, 8 Feb 2015 21:00:24 +0000 (16:00 -0500)]
s/pair/triple/

9 years agoadd explanatory note
jim [Sun, 8 Feb 2015 18:06:15 +0000 (13:06 -0500)]
add explanatory note

9 years agotweak
jim [Sun, 8 Feb 2015 14:47:37 +0000 (09:47 -0500)]
tweak

9 years agotweak
jim [Sun, 8 Feb 2015 14:46:56 +0000 (09:46 -0500)]
tweak

9 years agotweak
jim [Sun, 8 Feb 2015 14:46:33 +0000 (09:46 -0500)]
tweak

9 years agouncurry f for Kapulet
jim [Sun, 8 Feb 2015 02:37:00 +0000 (21:37 -0500)]
uncurry f for Kapulet

9 years agotweak hint
jim [Sun, 8 Feb 2015 01:39:47 +0000 (20:39 -0500)]
tweak hint

9 years agotweak assignment
jim [Sun, 8 Feb 2015 01:38:09 +0000 (20:38 -0500)]
tweak assignment

9 years agofix link to hint
jim [Sun, 8 Feb 2015 01:19:32 +0000 (20:19 -0500)]
fix link to hint

9 years agopush assignment2
Jim [Sun, 8 Feb 2015 01:18:22 +0000 (20:18 -0500)]
push assignment2

9 years agofix markup
jim [Sun, 8 Feb 2015 01:10:27 +0000 (20:10 -0500)]
fix markup

9 years agoadd Church encodings
jim [Sun, 8 Feb 2015 01:09:50 +0000 (20:09 -0500)]
add Church encodings