X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment9.mdwn;h=3ec13ae742d2356b094ee9b60f55e7af0799485a;hp=d27c5be834991c943bb62845a0bfcec7afe10238;hb=1e70b7849153992272e219477464128c8d97789a;hpb=656923cf6fecaa0fc054f965e315ea08ea2df6f3 diff --git a/assignment9.mdwn b/assignment9.mdwn index d27c5be8..3ec13ae7 100644 --- a/assignment9.mdwn +++ b/assignment9.mdwn @@ -61,7 +61,7 @@ Two strategies for solving the problem Spend some time trying to understand exactly what it does: compute the tree-to-list transformation for a tree with two leaves, performing all beta reduction by hand using the - definitions for `bind_continuation`, `unit_continuation` and so on. + definitions for `continuation_bind`, `continuation_unit` and so on. If you take this route, study the description of **streams** (a particular kind of data structure) below. The goal will be to arrange for the continuation-flavored `tree_monadizer` to transform