From 3c7a131f8494c9fed7657eb1b77826d3a408a6d1 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 15 Sep 2010 17:48:54 -0400 Subject: [PATCH] week1: map tweaks Signed-off-by: Jim Pryor --- week1.mdwn | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) 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) + 
-- 2.11.0