projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d5c9958
)
post Monads
author
jim
<jim@web>
Thu, 19 Mar 2015 06:28:09 +0000
(
02:28
-0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 19 Mar 2015 06:28:09 +0000
(
02:28
-0400)
content.mdwn
patch
|
blob
|
history
diff --git
a/content.mdwn
b/content.mdwn
index
61ac961
..
1178c43
100644
(file)
--- a/
content.mdwn
+++ b/
content.mdwn
@@
-22,7
+22,7
@@
week in which they were introduced.
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
* [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type
* Interpreter for Lambda terms
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
* [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type
* Interpreter for Lambda terms
- *
Starting with Monads
+ *
[[Introducing Monads|topics/week7_introducing_monads]]
* Order, "static versus dynamic"
* Order, "static versus dynamic"
@@
-58,7
+58,7
@@
week in which they were introduced.
* [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated)
* [[System F|topics/week5 system F]] (will be updated)
* Types in OCaml and Haskell (will be posted soon)
* [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated)
* [[System F|topics/week5 system F]] (will be updated)
* Types in OCaml and Haskell (will be posted soon)
- *
Starting with Monads
+ *
[[Introducing Monads|topics/week7_introducing_monads]]
## Topics by week ##
## Topics by week ##
@@
-121,6
+121,4
@@
Week 7:
* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Interpreter for Lambda terms
* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Interpreter for Lambda terms
-* Starting with Monads
-
-
+* [[Introducing Monads|topics/week7_introducing_monads]]