lambda.git
7 years agomoved index to .pdc
Jim Pryor [Mon, 30 May 2011 09:56:42 +0000 (05:56 -0400)]
moved index to .pdc

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
7 years agoassignment 4 hint 3 alt 2: how did this get deleted?
Jim Pryor [Sun, 29 May 2011 17:58:39 +0000 (13:58 -0400)]
assignment 4 hint 3 alt 2: how did this get deleted?

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
7 years agomonads: add permute,select for List.T
Jim Pryor [Sun, 29 May 2011 17:53:25 +0000 (13:53 -0400)]
monads: add permute,select for List.T

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoindex: haskell uptake :-)
Jim Pryor [Sun, 6 Mar 2011 18:05:25 +0000 (13:05 -0500)]
index: haskell uptake :-)

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agodybvig errata
Jim Pryor [Sat, 26 Feb 2011 17:08:18 +0000 (12:08 -0500)]
dybvig errata

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agolearning scheme: added Dybvig
Jim Pryor [Sat, 26 Feb 2011 17:05:58 +0000 (12:05 -0500)]
learning scheme: added Dybvig

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agowhat is fp?
Jim Pryor [Tue, 22 Feb 2011 15:32:33 +0000 (10:32 -0500)]
what is fp?

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agomonads.ml tweak
Jim Pryor [Sun, 20 Feb 2011 14:10:00 +0000 (09:10 -0500)]
monads.ml tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agolinked to OCaml for Haskellers
Jim Pryor [Sun, 20 Feb 2011 03:17:43 +0000 (22:17 -0500)]
linked to OCaml for Haskellers

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoupdate .gitignore
Jim Pryor [Wed, 12 Jan 2011 18:38:22 +0000 (13:38 -0500)]
update .gitignore

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoRevert "testing pandoc"
Jim Pryor [Sat, 25 Dec 2010 15:55:03 +0000 (10:55 -0500)]
Revert "testing pandoc"

This reverts commit 6a90e78440dbea67248a9e3840549133856fef7e.

8 years agotesting pandoc
Jim Pryor [Sat, 25 Dec 2010 15:53:31 +0000 (10:53 -0500)]
testing pandoc

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 tweaks
Jim Pryor [Fri, 24 Dec 2010 04:55:02 +0000 (23:55 -0500)]
ass10 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 hint tweaks
Jim Pryor [Fri, 24 Dec 2010 03:54:35 +0000 (22:54 -0500)]
ass10 hint tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 hint tweaks
Jim Pryor [Fri, 24 Dec 2010 03:38:42 +0000 (22:38 -0500)]
ass10 hint tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 hint tweaks
Jim Pryor [Fri, 24 Dec 2010 03:30:23 +0000 (22:30 -0500)]
ass10 hint tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 hint tweaks
Jim Pryor [Fri, 24 Dec 2010 03:29:22 +0000 (22:29 -0500)]
ass10 hint tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 hints
Jim Pryor [Fri, 24 Dec 2010 03:22:33 +0000 (22:22 -0500)]
ass10 hints

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoprep ass10 for more hints
Jim Pryor [Fri, 24 Dec 2010 02:52:09 +0000 (21:52 -0500)]
prep ass10 for more hints

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoadd expose to monads.ml
Jim Pryor [Thu, 23 Dec 2010 20:49:35 +0000 (15:49 -0500)]
add expose to monads.ml

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 tweaks
Jim Pryor [Thu, 23 Dec 2010 17:31:28 +0000 (12:31 -0500)]
ass10 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 tweaks
Jim Pryor [Thu, 23 Dec 2010 17:30:34 +0000 (12:30 -0500)]
ass10 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 tweak
Jim Pryor [Thu, 23 Dec 2010 16:58:52 +0000 (11:58 -0500)]
ass10 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Wed, 22 Dec 2010 00:12:01 +0000 (19:12 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Wed, 22 Dec 2010 00:08:59 +0000 (19:08 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Wed, 22 Dec 2010 00:05:51 +0000 (19:05 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps: delta tweak
Jim Pryor [Tue, 21 Dec 2010 16:02:36 +0000 (11:02 -0500)]
cps: delta tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak, another Seasoned cite
Jim Pryor [Tue, 21 Dec 2010 15:31:23 +0000 (10:31 -0500)]
cps tweak, another Seasoned cite

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek10 add Seasoned citation
Jim Pryor [Tue, 21 Dec 2010 15:11:03 +0000 (10:11 -0500)]
week10 add Seasoned citation

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9 tweak
Jim Pryor [Tue, 21 Dec 2010 14:48:58 +0000 (09:48 -0500)]
week9 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9 reference tweak
Jim Pryor [Tue, 21 Dec 2010 12:47:07 +0000 (07:47 -0500)]
week9 reference tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps: add some begins
Jim Pryor [Tue, 21 Dec 2010 12:04:35 +0000 (07:04 -0500)]
cps: add some begins

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9 tweak
Jim Pryor [Tue, 21 Dec 2010 04:34:07 +0000 (23:34 -0500)]
week9 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9: another Seasoned Schemer ref
Jim Pryor [Tue, 21 Dec 2010 04:33:47 +0000 (23:33 -0500)]
week9: another Seasoned Schemer ref

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9: {get,set}_store -> state_get, state_put
Jim Pryor [Tue, 21 Dec 2010 04:00:59 +0000 (23:00 -0500)]
week9: {get,set}_store -> state_get, state_put

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9: add link to Seasoned Schemer
Jim Pryor [Tue, 21 Dec 2010 03:58:56 +0000 (22:58 -0500)]
week9: add link to Seasoned Schemer

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoweek9: {get,set}_state -> _store
Jim Pryor [Tue, 21 Dec 2010 03:58:42 +0000 (22:58 -0500)]
week9: {get,set}_state -> _store

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:46:03 +0000 (22:46 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:45:08 +0000 (22:45 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:40:02 +0000 (22:40 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:39:16 +0000 (22:39 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:35:36 +0000 (22:35 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:34:31 +0000 (22:34 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:29:04 +0000 (22:29 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:27:08 +0000 (22:27 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:24:02 +0000 (22:24 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps_hints to mdwn
Jim Pryor [Tue, 21 Dec 2010 03:17:09 +0000 (22:17 -0500)]
cps_hints to mdwn

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:15:43 +0000 (22:15 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 03:14:36 +0000 (22:14 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoadd seasoned schemer exercises to cps
Jim Pryor [Tue, 21 Dec 2010 03:13:29 +0000 (22:13 -0500)]
add seasoned schemer exercises to cps

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweak
Jim Pryor [Tue, 21 Dec 2010 01:08:57 +0000 (20:08 -0500)]
cps tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoadd plotkin link
Jim Pryor [Tue, 21 Dec 2010 01:07:42 +0000 (20:07 -0500)]
add plotkin link

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoass10 typo
Jim Pryor [Tue, 21 Dec 2010 00:45:35 +0000 (19:45 -0500)]
ass10 typo

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoedits
Chris Barker [Sun, 19 Dec 2010 16:28:42 +0000 (11:28 -0500)]
edits

8 years agoedits
Chris Barker [Sun, 19 Dec 2010 16:25:53 +0000 (11:25 -0500)]
edits

8 years agoedits
Chris Barker [Sun, 19 Dec 2010 16:25:01 +0000 (11:25 -0500)]
edits

8 years agotweak ass10
Jim Pryor [Sun, 19 Dec 2010 07:25:59 +0000 (02:25 -0500)]
tweak ass10

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoedits
Chris Barker [Sat, 18 Dec 2010 19:17:42 +0000 (14:17 -0500)]
edits

8 years agoedits
Chris Barker [Sat, 18 Dec 2010 19:16:40 +0000 (14:16 -0500)]
edits

8 years agoedits
Chris Barker [Sat, 18 Dec 2010 19:08:57 +0000 (14:08 -0500)]
edits

8 years agoassignment 10 tweaks
Jim Pryor [Thu, 16 Dec 2010 14:07:11 +0000 (09:07 -0500)]
assignment 10 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoassignment 10 tweaks
Jim Pryor [Thu, 16 Dec 2010 14:04:06 +0000 (09:04 -0500)]
assignment 10 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoassignment 10 tweaks
Jim Pryor [Thu, 16 Dec 2010 14:01:44 +0000 (09:01 -0500)]
assignment 10 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoassignment 10
Jim Pryor [Thu, 16 Dec 2010 13:57:03 +0000 (08:57 -0500)]
assignment 10

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Tue, 14 Dec 2010 11:42:00 +0000 (06:42 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Tue, 14 Dec 2010 11:40:41 +0000 (06:40 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Tue, 14 Dec 2010 10:44:20 +0000 (05:44 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Tue, 14 Dec 2010 10:35:11 +0000 (05:35 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Tue, 14 Dec 2010 09:22:40 +0000 (04:22 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Tue, 14 Dec 2010 09:15:00 +0000 (04:15 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoedits
Chris Barker [Mon, 13 Dec 2010 19:10:29 +0000 (14:10 -0500)]
edits

8 years agoedits
Chris Barker [Mon, 13 Dec 2010 19:08:11 +0000 (14:08 -0500)]
edits

8 years agoindex,new_stuff
Jim Pryor [Mon, 13 Dec 2010 14:41:25 +0000 (09:41 -0500)]
index,new_stuff

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Mon, 13 Dec 2010 14:39:36 +0000 (09:39 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Mon, 13 Dec 2010 14:34:05 +0000 (09:34 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps tweaks
Jim Pryor [Mon, 13 Dec 2010 13:41:19 +0000 (08:41 -0500)]
cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoRevert "cps capitalize filename"
Jim Pryor [Mon, 13 Dec 2010 13:38:35 +0000 (08:38 -0500)]
Revert "cps capitalize filename"

This reverts commit 6f9010c83f27208b6e99cd270ea8ec977e0e4ffd.

8 years agocps capitalize filename
Jim Pryor [Mon, 13 Dec 2010 13:37:33 +0000 (08:37 -0500)]
cps capitalize filename

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps continue
Jim Pryor [Mon, 13 Dec 2010 13:36:14 +0000 (08:36 -0500)]
cps continue

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agocps (still working)
Jim Pryor [Mon, 13 Dec 2010 13:34:46 +0000 (08:34 -0500)]
cps (still working)

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agodelete tests from code
Jim Pryor [Mon, 13 Dec 2010 13:34:37 +0000 (08:34 -0500)]
delete tests from code

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweak
Jim Pryor [Mon, 13 Dec 2010 10:15:25 +0000 (05:15 -0500)]
tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotweak coroutines
Jim Pryor [Mon, 13 Dec 2010 08:32:46 +0000 (03:32 -0500)]
tweak coroutines

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agopost initial ass10
Jim Pryor [Mon, 13 Dec 2010 08:18:48 +0000 (03:18 -0500)]
post initial ass10

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers tweak
Jim Pryor [Mon, 13 Dec 2010 06:43:33 +0000 (01:43 -0500)]
transformers tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers tweak
Jim Pryor [Mon, 13 Dec 2010 06:42:40 +0000 (01:42 -0500)]
transformers tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers tweak
Jim Pryor [Mon, 13 Dec 2010 06:30:47 +0000 (01:30 -0500)]
transformers tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers tweak
Jim Pryor [Mon, 13 Dec 2010 06:28:25 +0000 (01:28 -0500)]
transformers tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers finish
Jim Pryor [Mon, 13 Dec 2010 06:25:39 +0000 (01:25 -0500)]
transformers finish

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers tweak
Jim Pryor [Mon, 13 Dec 2010 04:35:57 +0000 (23:35 -0500)]
transformers tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoupdate tree_monadize.ml
Jim Pryor [Mon, 13 Dec 2010 04:26:53 +0000 (23:26 -0500)]
update tree_monadize.ml

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agomanip trees tweak
Jim Pryor [Mon, 13 Dec 2010 04:20:39 +0000 (23:20 -0500)]
manip trees tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agomanip trees tweak
Jim Pryor [Mon, 13 Dec 2010 04:11:19 +0000 (23:11 -0500)]
manip trees tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agomanip trees tweak
Jim Pryor [Mon, 13 Dec 2010 04:10:17 +0000 (23:10 -0500)]
manip trees tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agonew_stuff
Jim Pryor [Mon, 13 Dec 2010 04:08:00 +0000 (23:08 -0500)]
new_stuff

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agofinish reworking manip trees
Jim Pryor [Mon, 13 Dec 2010 04:05:37 +0000 (23:05 -0500)]
finish reworking manip trees

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agorework manip trees (including reversing order of tree_monadizer back to orig)
Jim Pryor [Mon, 13 Dec 2010 04:00:57 +0000 (23:00 -0500)]
rework manip trees (including reversing order of tree_monadizer back to orig)

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoclean up tree_monadizer.ml
Jim Pryor [Mon, 13 Dec 2010 03:29:59 +0000 (22:29 -0500)]
clean up tree_monadizer.ml

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agoadd elevate laws
Jim Pryor [Mon, 13 Dec 2010 02:31:19 +0000 (21:31 -0500)]
add elevate laws

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
8 years agotransformers tweak
Jim Pryor [Mon, 13 Dec 2010 02:20:50 +0000 (21:20 -0500)]
transformers tweak

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