Chris Barker [Sun, 31 Oct 2010 14:14:37 +0000 (10:14 -0400)]
assignment 6
Chris Barker [Sun, 31 Oct 2010 14:06:04 +0000 (10:06 -0400)]
Monads
barker [Sat, 30 Oct 2010 21:45:18 +0000 (17:45 -0400)]
Chris Barker [Sat, 30 Oct 2010 21:44:05 +0000 (17:44 -0400)]
edits
Jim Pryor [Tue, 26 Oct 2010 15:53:39 +0000 (11:53 -0400)]
post ass5
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 15:52:03 +0000 (11:52 -0400)]
Merge branch 'pryor'
Conflicts:
assignment5.mdwn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 15:48:42 +0000 (11:48 -0400)]
ass5: merged Chris' changes
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Tue, 26 Oct 2010 15:25:13 +0000 (11:25 -0400)]
hw5
Chris Barker [Tue, 26 Oct 2010 15:23:33 +0000 (11:23 -0400)]
hw changes
Jim Pryor [Tue, 26 Oct 2010 15:22:39 +0000 (11:22 -0400)]
ass5: tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:49:31 +0000 (10:49 -0400)]
ass5: tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:47:41 +0000 (10:47 -0400)]
ass5: tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:44:50 +0000 (10:44 -0400)]
ass5: more formatting
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:29:51 +0000 (10:29 -0400)]
ass5: move monads to end
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:29:02 +0000 (10:29 -0400)]
ass5: prime lift,bind,add
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:26:07 +0000 (10:26 -0400)]
Revert "Revert "ass5: omega->blackhole""
This reverts commit
f91578902b8306ab3e52fb172637405cb8e3fb42.
Jim Pryor [Tue, 26 Oct 2010 14:26:04 +0000 (10:26 -0400)]
Revert "Revert "homework formatting/some de-utf8ing""
This reverts commit
a25c09109cd0ae26500eae8d133ef7f82f0f8821.
Jim Pryor [Tue, 26 Oct 2010 14:26:01 +0000 (10:26 -0400)]
Revert "Revert "Acar reference""
This reverts commit
c45c91f3f0a5e1e1a4098d8fb610d55ea0611977.
Jim Pryor [Tue, 26 Oct 2010 14:21:24 +0000 (10:21 -0400)]
Revert "Acar reference"
This reverts commit
c5e9c5f26878492029108cbfac0ba695ed41f986.
Jim Pryor [Tue, 26 Oct 2010 14:20:57 +0000 (10:20 -0400)]
Revert "homework formatting/some de-utf8ing"
This reverts commit
17eb4f0a0146d06ef52c2532405f6805cbaef0ec.
Jim Pryor [Tue, 26 Oct 2010 14:20:44 +0000 (10:20 -0400)]
Revert "ass5: omega->blackhole"
This reverts commit
0d85c76d0d37b32bf99483b86828a7d2829db44e.
Jim Pryor [Tue, 26 Oct 2010 14:19:20 +0000 (10:19 -0400)]
week6: formatting, add primes after monad ops
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 14:18:02 +0000 (10:18 -0400)]
ass5: omega->blackhole
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 13:40:41 +0000 (09:40 -0400)]
homework formatting/some de-utf8ing
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 00:35:21 +0000 (20:35 -0400)]
Acar reference
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 00:33:30 +0000 (20:33 -0400)]
decap OCAML
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 26 Oct 2010 00:32:01 +0000 (20:32 -0400)]
renamed curry-howard
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Mon, 25 Oct 2010 19:10:17 +0000 (15:10 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 19:08:20 +0000 (15:08 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 19:06:51 +0000 (15:06 -0400)]
edits
Chris Barker [Mon, 25 Oct 2010 18:47:17 +0000 (14:47 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 18:38:06 +0000 (14:38 -0400)]
edits
Chris Barker [Mon, 25 Oct 2010 18:20:37 +0000 (14:20 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 18:13:58 +0000 (14:13 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 18:13:17 +0000 (14:13 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 18:10:15 +0000 (14:10 -0400)]
added proto-monad
Chris Barker [Mon, 25 Oct 2010 13:32:42 +0000 (09:32 -0400)]
moved curry-howard, added Wadler paper
Jim Pryor [Mon, 25 Oct 2010 12:00:30 +0000 (08:00 -0400)]
Merge branch 'pryor'
Chris Barker [Mon, 25 Oct 2010 02:35:25 +0000 (22:35 -0400)]
added Curry-Howard
Chris Barker [Mon, 25 Oct 2010 02:32:22 +0000 (22:32 -0400)]
added Curry-Howard
Chris Barker [Mon, 25 Oct 2010 02:12:16 +0000 (22:12 -0400)]
added Curry-Howard
Chris Barker [Mon, 25 Oct 2010 02:10:28 +0000 (22:10 -0400)]
added Curry-Howard
barker [Sun, 24 Oct 2010 21:22:34 +0000 (17:22 -0400)]
barker [Sun, 24 Oct 2010 21:19:51 +0000 (17:19 -0400)]
Chris Barker [Sun, 24 Oct 2010 21:19:02 +0000 (17:19 -0400)]
edits
Chris Barker [Sun, 24 Oct 2010 21:08:05 +0000 (17:08 -0400)]
week 6 start
Chris Barker [Wed, 20 Oct 2010 02:41:50 +0000 (22:41 -0400)]
extending week5 notes
Jim Pryor [Tue, 19 Oct 2010 18:59:14 +0000 (14:59 -0400)]
index tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:58:07 +0000 (14:58 -0400)]
more index reorg, links to learning Scheme/OCaml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:47:26 +0000 (14:47 -0400)]
try/learning scheme tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:45:59 +0000 (14:45 -0400)]
move around 'try scheme', 'learning...' links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:42:41 +0000 (14:42 -0400)]
evaluator: add links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:24:17 +0000 (14:24 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:23:13 +0000 (14:23 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:22:50 +0000 (14:22 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:21:36 +0000 (14:21 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:20:19 +0000 (14:20 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:19:18 +0000 (14:19 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:17:32 +0000 (14:17 -0400)]
evaluator tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:15:09 +0000 (14:15 -0400)]
evaluator: fix exists
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:14:05 +0000 (14:14 -0400)]
index: add big link to evaluator
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:12:16 +0000 (14:12 -0400)]
evaluator links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:06:28 +0000 (14:06 -0400)]
offsite reading tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 18:02:07 +0000 (14:02 -0400)]
week1 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 17:54:25 +0000 (13:54 -0400)]
index: tweak book links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 17:51:59 +0000 (13:51 -0400)]
index: book links
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 17:45:23 +0000 (13:45 -0400)]
index tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 19 Oct 2010 17:22:20 +0000 (13:22 -0400)]
week4 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Mon, 18 Oct 2010 16:55:58 +0000 (12:55 -0400)]
edits
Jim Pryor [Sun, 17 Oct 2010 18:45:07 +0000 (14:45 -0400)]
code cleanup
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 17 Oct 2010 18:44:12 +0000 (14:44 -0400)]
code cleanup
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 17 Oct 2010 18:42:56 +0000 (14:42 -0400)]
code cleanup
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sun, 17 Oct 2010 17:43:25 +0000 (13:43 -0400)]
Revert "changes to offsite-reading"
This reverts commit
b059b718b62f3b4beffb3bd7fbe66af01069f9c9.
Conflicts:
offsite_reading.mdwn
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Chris Barker [Sun, 17 Oct 2010 16:11:04 +0000 (12:11 -0400)]
changes to offsite-reading
Chris Barker [Sun, 17 Oct 2010 16:09:58 +0000 (12:09 -0400)]
changes to offsite-reading
Jim Pryor [Sat, 16 Oct 2010 23:21:45 +0000 (19:21 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 20:47:22 +0000 (16:47 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 20:45:29 +0000 (16:45 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 20:45:04 +0000 (16:45 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 20:44:36 +0000 (16:44 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 20:41:43 +0000 (16:41 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 18:48:29 +0000 (14:48 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 18:14:48 +0000 (14:14 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 18:14:08 +0000 (14:14 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 18:13:35 +0000 (14:13 -0400)]
alternate Y1,Y2 tweak
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 18:05:49 +0000 (14:05 -0400)]
alternate strategy for Y1,Y2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 16 Oct 2010 15:52:34 +0000 (11:52 -0400)]
fix comment about forcing eval order
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 7 Oct 2010 15:02:38 +0000 (11:02 -0400)]
library tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Thu, 7 Oct 2010 13:33:26 +0000 (09:33 -0400)]
add left,CPS lists to library
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
barker [Wed, 6 Oct 2010 16:49:53 +0000 (12:49 -0400)]
barker [Wed, 6 Oct 2010 16:48:00 +0000 (12:48 -0400)]
Jim Pryor [Tue, 5 Oct 2010 11:54:41 +0000 (07:54 -0400)]
evaluator: note on variable-naming rules
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 03:24:20 +0000 (23:24 -0400)]
fix index link
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 03:22:27 +0000 (23:22 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 03:21:43 +0000 (23:21 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 03:21:17 +0000 (23:21 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 03:07:49 +0000 (23:07 -0400)]
week4 tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 03:00:45 +0000 (23:00 -0400)]
week4 f-->f2
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 01:58:34 +0000 (21:58 -0400)]
spelling Ackermann
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Tue, 5 Oct 2010 01:52:08 +0000 (21:52 -0400)]
trees tweaks
Signed-off-by: Jim Pryor <profjim@jimpryor.net>