From: Jim Pryor Date: Wed, 15 Sep 2010 21:49:46 +0000 (-0400) Subject: Merge branch 'pryor' X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7c7f1b223ffb0877eba434dc07cb7c19a36ecbb5;hp=1915897e1ad86830751b427f898b5512c1a3a05c Merge branch 'pryor' --- diff --git a/week1.mdwn b/week1.mdwn index 78a808b6..70a15377 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -110,7 +110,7 @@ OCaml (imperative part) lambda calculus
combinatorial logic ------------------------- Turing complete --------------------- +------------------------ Turing complete ---------------------   more advanced type systems, such as polymorphic types