X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=e04cda2305e546ae7f31378dcb29ca657bcb8e82;hp=78a808b6541be3e160c270873808935159281c94;hb=7b41919fce94f017687f1dfacda8c65e69a1daab;hpb=1915897e1ad86830751b427f898b5512c1a3a05c diff --git a/week1.mdwn b/week1.mdwn index 78a808b6..e04cda23 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