From 0c631b92e0888c41633150b8d4865b3e1d670a2e Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 19 Sep 2010 18:41:42 -0400 Subject: [PATCH] week2 tweak Signed-off-by: Jim Pryor --- week2.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/week2.mdwn b/week2.mdwn index ce2df76d..1e3aa2bc 100644 --- a/week2.mdwn +++ b/week2.mdwn @@ -241,7 +241,7 @@ in two books in the 1990's. A final linguistic application: Steedman's Combinatory Categorial Grammar, where the "Combinatory" is from combinatory logic (see especially his 2000 book, The Syntactic Processs). Steedman attempts to build -a syntax/semantics interface using a small number of combinators, including T = `\xy.yx`, B = `\fxy.f(xy)`, +a syntax/semantics interface using a small number of combinators, including T ≡ `\xy.yx`, B ≡ `\fxy.f(xy)`, and our friend S. Steedman used Smullyan's fanciful bird names for the combinators, Thrush, Bluebird, and Starling. -- 2.11.0