projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6b16fea
)
tweaked offsite_reading
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 24 Aug 2010 19:29:36 +0000
(15:29 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 24 Aug 2010 19:29:36 +0000
(15:29 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
offsite_reading.mdwn
patch
|
blob
|
history
diff --git
a/offsite_reading.mdwn
b/offsite_reading.mdwn
index
f41f816
..
b2bab59
100644
(file)
--- a/
offsite_reading.mdwn
+++ b/
offsite_reading.mdwn
@@
-57,8
+57,8
@@
get more out of out. (Rinse and repeat.)
* [[!wikipedia Alonzo Church]]<p>
* [[!wikipedia Combinatory logic]]
* [Combinatory logic](http://plato.stanford.edu/entries/logic-combinatory/) at the Stanford Encyclopedia of Philosophy
-* [[!wikipedia B,C,K,W system]]
* [[!wikipedia SKI combinatory calculus]]<p>
+* [[!wikipedia B,C,K,W system]]
* [[!wikipedia Church-Rosser theorem]]
* [[!wikipedia Normalization property]]
* [[!wikipedia Turing completeness]]<p>