X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=inline;f=index.mdwn;h=34aa2442db6207f13585e8b89f430a95f2d2d12d;hb=f5c65211617c8e04e87d3009f220f6457a76e9ff;hp=33b77c879e507a1c0293f00f707429903b215dd7;hpb=9c44e21fdf103d22d86cb3ac7c74eb153670f594;p=lambda.git diff --git a/index.mdwn b/index.mdwn index 33b77c87..34aa2442 100644 --- a/index.mdwn +++ b/index.mdwn @@ -125,7 +125,7 @@ family of programming languages. The other dialect is called "SML" and has several implementations. But Caml has only one active implementation, OCaml, developed by the INRIA academic group in France. -* Those of your with some programming background may have encountered a third +* Those of you with some programming background may have encountered a third prominent functional programming language, **Haskell**. This is also used a lot in the academic contexts we'll be working through. Its surface syntax differs from Caml, and there are various important things one can do in @@ -165,10 +165,7 @@ this time in ML. The dialect of ML used is SML, not OCaml, but there are only superficial syntactic differences between these languages. - -## Schedule of Topics ## - -To be added. +##[[Schedule of Topics]]## ----