X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=index.mdwn;h=902bb2ee691b6e0ac0e09cdf11a222d457f59aa8;hb=b95184644698328730d3ef82aa746aced60e896b;hp=0ea1d8defbcbdf86509a1ed61297e7360c5d4dcc;hpb=624fd2e2b002e28c5fa709827d86c72f4589b289;p=lambda.git diff --git a/index.mdwn b/index.mdwn index 0ea1d8de..902bb2ee 100644 --- a/index.mdwn +++ b/index.mdwn @@ -47,14 +47,18 @@ preloaded is available at [[assignment 3 evaluator]]. (18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]]. -> Topics: Types, Polymorphism +> Topics: Types, Polymorphism, Dividing by Zero + +(1 Nov) Lecture notes for Week7; Assignment6. + +> Topics: Monads [[Upcoming topics]] [[Advanced Topics]] -> Topics: Version 4 lists +> Topics: Version 4 lists, Monads in Category Theory ##Scheme and OCaml##