projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
bb30f8b
)
post arithmetic
author
jim
<jim@web>
Sat, 14 Feb 2015 21:27:29 +0000
(16:27 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 14 Feb 2015 21:27:29 +0000
(16:27 -0500)
index.mdwn
patch
|
blob
|
history
diff --git
a/index.mdwn
b/index.mdwn
index
f1d8aaa
..
5fa5afe
100644
(file)
--- a/
index.mdwn
+++ b/
index.mdwn
@@
-106,7
+106,7
@@
The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro
*We will continue to develop these notes over the next few days.*
> Topics:
*We will continue to develop these notes over the next few days.*
> Topics:
-
Arithmetic with Church numbers (in progress)
;
+
[[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
;
[[What is computation?|topics/week3_what_is_computation]];
[[More on Lists|topics/week3 lists]] (will be expanded);
[[Combinatory Logic|topics/week3 combinatory logic]];
[[What is computation?|topics/week3_what_is_computation]];
[[More on Lists|topics/week3 lists]] (will be expanded);
[[Combinatory Logic|topics/week3 combinatory logic]];