projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
764cf92
)
added Iota and Jot, but link broken
author
Jim Pryor
<profjim@jimpryor.net>
Wed, 25 Aug 2010 16:05:34 +0000
(12:05 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Wed, 25 Aug 2010 16:05:34 +0000
(12:05 -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
a1e26ca
..
89c76f4
100644
(file)
--- a/
offsite_reading.mdwn
+++ b/
offsite_reading.mdwn
@@
-51,7
+51,8
@@
get more out of out. (Rinse and repeat.)
* [[!wikipedia Combinatory logic]]
* [Combinatory logic](http://plato.stanford.edu/entries/logic-combinatory/) at the Stanford Encyclopedia of Philosophy
* [[!wikipedia SKI combinatory calculus]]
-* [[!wikipedia B,C,K,W system]]<p>
+* [[!wikipedia B,C,K,W system]]
+* [Chris Barker's Iota and Jot]() (broken link)<p>
* [[!wikipedia Church-Rosser theorem]]
* [[!wikipedia Normalization property]]
* [[!wikipedia Turing completeness]]<p>