From af057cd22e9ed75048caa92cb62a3a0143c9b013 Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 21 Mar 2015 11:11:05 -0400 Subject: [PATCH 1/1] remove/update some "coming soon" notices --- content.mdwn | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/content.mdwn b/content.mdwn index ac681c84..6778ac8e 100644 --- a/content.mdwn +++ b/content.mdwn @@ -18,10 +18,10 @@ week in which they were introduced. * [[List Comprehensions|topics/week3 lists#comprehensions]] * [[Unit and its usefulness|topics/week3 unit]] * More tips on using Scheme - * Types in OCaml and Haskell (will be posted soon) - * Practical advice for working with OCaml and/or Haskell (will be posted soon) + * Types in OCaml and Haskell (will be posted someday) + * Practical advice for working with OCaml and/or Haskell (will be posted someday) * [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type - * Interpreter for Lambda terms + * Lambda evaluator * [[Introducing Monads|topics/week7_introducing_monads]] * Order, "static versus dynamic" @@ -57,7 +57,7 @@ week in which they were introduced. * [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated) * [[System F|topics/week5 system F]] (will be updated) - * Types in OCaml and Haskell (will be posted soon) + * Types in OCaml and Haskell (will be posted someday) * [[Introducing Monads|topics/week7_introducing_monads]] @@ -98,16 +98,14 @@ Week 4: * [[Fixed point combinators|topics/week4_fixed_point_combinators]] * [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]] * Towards types (in progress) -* [[Homework for week 4|exercises/assignment4]] +* [[Homework for week 4|exercises/assignment4]] (Answers will be posted soon) Week 5: -*Note*: Jim will be updating and expanding the lecture notes by Tuesday, but doesn't want to delay any longer letting you have access to the drafts we (in part) presented from in seminar. But do come back and re-read the pages when the expanded versions are posted. - * [[Simply-typed lambda calculus|topics/week5 simply typed]] * [[System F|topics/week5 system F]] -* Types in OCaml and Haskell (will be posted soon) -* Practical advice for working with OCaml and/or Haskell (will be posted soon) +* Types in OCaml and Haskell (will be posted someday) +* Practical advice for working with OCaml and/or Haskell (will be posted someday) * [[Homework for weeks 5 and 6|exercises/assignment5]] ([[Answers|exercises/assignment5_answers]]) @@ -121,6 +119,6 @@ Week 6: Week 7: * [[Combinatory evaluator|topics/week7_combinatory_evaluator]] -* Interpreter for Lambda terms +* Lambda evaluator (will be posted soon) * [[Introducing Monads|topics/week7_introducing_monads]] (updated Fri 20 Mar) * [[Homework for week 7|exercises/assignment7]] -- 2.11.0