added Iota and Jot, but link broken
authorJim Pryor <profjim@jimpryor.net>
Wed, 25 Aug 2010 16:05:34 +0000 (12:05 -0400)
committerJim 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

index a1e26ca..89c76f4 100644 (file)
@@ -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>