From c28d9d60cbb95a4bc3e15fc6210ee57e2652df60 Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 25 Apr 2015 05:56:20 -0400 Subject: [PATCH] add week 12 stuff --- content.mdwn | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) diff --git a/content.mdwn b/content.mdwn index e6a02aff..9279e29c 100644 --- a/content.mdwn +++ b/content.mdwn @@ -9,6 +9,8 @@ week in which they were introduced. * [[Kaplan on Plexy|topics/week6_plexy]] * [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]] +* Mutation and hyper-synonymy (no notes) + * Functional Programming @@ -26,6 +28,7 @@ week in which they were introduced. * [[Ramble on Monads and Modules|topics/week8_monads_and_modules]] * [[Installing and Using the Juli8 Libraries|/juli8]] * [[Programming with mutable state|/topics/week9_mutable_state]] + * Mutation and hyper-synonymy (no notes) * Order, "static versus dynamic" @@ -35,6 +38,9 @@ week in which they were introduced. * [[Unit and its usefulness|topics/week3 unit]] * Combinatory evaluator ([[for home|topics/week7_combinatory_evaluator]]) * [[Programming with mutable state|/topics/week9_mutable_state]] + * [[Abortable list traversals|/topics/week12_abortable_traversals]] + * [[List and tree zippers|/topics/week12_list_and_tree_zippers]] + * The Untyped Lambda Calculus @@ -48,6 +54,7 @@ week in which they were introduced. * [[Arithmetic with Church numbers|topics/week3_church_arithmetic]] * [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]] * [[Some other list encodings|topics/week3 lists#other-lists]] + * [[Abortable list traversals|/topics/week12_abortable_traversals]] * [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]] * [[Fixed point combinators|topics/week4_fixed_point_combinators]] * [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]] @@ -79,6 +86,11 @@ week in which they were introduced. * [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]] +* Continuations + * [[Abortable list traversals|/topics/week12_abortable_traversals]] + * [[List and tree zippers|/topics/week12_list_and_tree_zippers]] + + ## Topics by week ## Week 1: @@ -158,7 +170,13 @@ 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 +* Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996) +* [[Notes on GSV|/topics/week10_gsv]], with links to code + +Week 12: +* Mutation and hyper-synonymy (no notes) +* [[Abortable list traversals|/topics/week12_abortable_traversals]] +* [[List and tree zippers|/topics/week12_list_and_tree_zippers]] +* [[Homework for week 12|exercises/assignment12]] -- 2.11.0