From: Jim Pryor Date: Wed, 15 Sep 2010 21:48:54 +0000 (-0400) Subject: week1: map tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3c7a131f8494c9fed7657eb1b77826d3a408a6d1 week1: map tweaks Signed-off-by: Jim Pryor --- diff --git a/week1.mdwn b/week1.mdwn index 0122ed9b..78a808b6 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -101,24 +101,24 @@ Map - - - + + - - + - -
Scheme (functional part)OCaml (functional part)C, Java, Pasval
+
Scheme (functional part)OCaml (functional part)C, Java, Pasval
Scheme (imperative part)
OCaml (imperative part)
lambda calculus
+
lambda calculus
combinatorial logic
--------- Turing complete --------------------------------- Turing complete ---------------------
  -more advanced type systems, such as polymorphic types -  +  +more advanced type systems, such as polymorphic types + 
  -simply-typed lambda calculus (what linguists mostly use) -  +  +simply-typed lambda calculus (what linguists mostly use) +