From: Jim Pryor Date: Wed, 25 Aug 2010 16:05:34 +0000 (-0400) Subject: added Iota and Jot, but link broken X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=39e8954d3edab23a8ebb530d158e9eda92a37f43;ds=sidebyside added Iota and Jot, but link broken Signed-off-by: Jim Pryor --- diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index a1e26cad..89c76f49 100644 --- 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]]

+* [[!wikipedia B,C,K,W system]] +* [Chris Barker's Iota and Jot]() (broken link)

* [[!wikipedia Church-Rosser theorem]] * [[!wikipedia Normalization property]] * [[!wikipedia Turing completeness]]