X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=e6a02aff0d15d2ddd7f93e2ed799f0d9599b9bba;hp=f135fdacb8da6b40f6ab5bd10a5fb26e37240e18;hb=daeb5d67207436ec5179e59098c11fe4b5525685;hpb=a5487c6a6fe8063654dbb5d6133070b56c15a3d1 diff --git a/content.mdwn b/content.mdwn index f135fdac..e6a02aff 100644 --- a/content.mdwn +++ b/content.mdwn @@ -8,6 +8,7 @@ week in which they were introduced. * [[What is computation?|topics/week3_what_is_computation]] * [[Kaplan on Plexy|topics/week6_plexy]] +* [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]] * Functional Programming @@ -75,6 +76,7 @@ week in which they were introduced. * [[Programming with mutable state|/topics/week9_mutable_state]] * [[A State Monad Tutorial|/topics/week9_state_monad_tutorial]] * [[Using multiple monads together|/topics/week9_monad_transformers]] + * [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]] ## Topics by week ## @@ -142,7 +144,6 @@ Week 7: Week 8: * [[Safe division with monads|topics/week8_safe_division_with_monads]] -### * [[Reader Monad|/topics/week8_reader_monad]] * [[Ramble on Monads and Modules|topics/week8_monads_and_modules]] @@ -158,3 +159,6 @@ Week 9: Week 10: * Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996) +* [[Notes on GSV|/topics/week10_gsv]], with links to code + +