projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
8576e38
)
tweak
author
jim
<jim@web>
Thu, 19 Mar 2015 06:36:20 +0000
(
02:36
-0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 19 Mar 2015 06:36:20 +0000
(
02:36
-0400)
index.mdwn
patch
|
blob
|
history
diff --git
a/index.mdwn
b/index.mdwn
index
7285e13
..
ea4f3d9
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-161,6
+161,9
@@
Practical advice for working with OCaml and/or Haskell (all will be posted soon)
> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Interpreter for Lambda terms; [[Introducing Monads|topics/week7_introducing_monads]]
> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Interpreter for Lambda terms; [[Introducing Monads|topics/week7_introducing_monads]]
+<!--
+(**Week 8**) Thursday March 26
+-->
<!--
We've added a [[Monad Library]] for OCaml.
<!--
We've added a [[Monad Library]] for OCaml.
@@
-179,7
+182,7
@@
Rather, it's about a variety of conceptual/logical ideas that have been
developed in computer science and that linguists and philosophers ought to
know, or may already be unknowingly trying to reinvent.
developed in computer science and that linguists and philosophers ought to
know, or may already be unknowingly trying to reinvent.
-Philosphers and linguists tend to reuse the same familiar tools in
+Philos
o
phers and linguists tend to reuse the same familiar tools in
ever more (sometime spectacularly) creative ways. But when your only
hammer is classical logic, every problem looks like modus ponens. In
contrast, computer scientists have invested considerable ingenuity in
ever more (sometime spectacularly) creative ways. But when your only
hammer is classical logic, every problem looks like modus ponens. In
contrast, computer scientists have invested considerable ingenuity in