projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
547f6ad
)
fix link
author
jim
<jim@web>
Sat, 7 Feb 2015 15:08:30 +0000
(10:08 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 7 Feb 2015 15:08:30 +0000
(10:08 -0500)
index.mdwn
patch
|
blob
|
history
diff --git
a/index.mdwn
b/index.mdwn
index
51f37d6
..
a2ff556
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-91,7
+91,7
@@
The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro
(**Week 2**) Thursday 5 February 2015
> Topics:
-[[Intro to the Lambda Calculus|topics/week
1
lambda intro]];
+[[Intro to the Lambda Calculus|topics/week
2
lambda intro]];
[[Advanced notes|topics/week2 lambda advanced]];
Encoding Booleans, Tuples, Lists, and Numbers (in progress);
Homework (in progress)