projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add week 12 stuff
[lambda.git]
/
content.mdwn
diff --git
a/content.mdwn
b/content.mdwn
index
e6a02af
..
9279e29
100644
(file)
--- 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]]
* [[Kaplan on Plexy|topics/week6_plexy]]
* [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]]
+* Mutation and hyper-synonymy (no notes)
+
* Functional Programming
* 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]]
* [[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"
* 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]]
* [[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
* 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]]
* [[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]]
* [[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]]
* [[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:
## Topics by week ##
Week 1:
@@
-158,7
+170,13
@@
Week 9:
Week 10:
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]]