From bf509c72901e685403b3976e1a91994dbdc31934 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 24 Aug 2010 15:29:36 -0400 Subject: [PATCH] tweaked offsite_reading Signed-off-by: Jim Pryor --- offsite_reading.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index f41f816d..b2bab593 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -57,8 +57,8 @@ get more out of out. (Rinse and repeat.) * [[!wikipedia Alonzo Church]]

* [[!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]]

+* [[!wikipedia B,C,K,W system]] * [[!wikipedia Church-Rosser theorem]] * [[!wikipedia Normalization property]] * [[!wikipedia Turing completeness]]

-- 2.11.0