From: Chris Barker <barker@kappa.linguistics.fas.nyu.edu>
Date: Mon, 6 Dec 2010 20:07:42 +0000 (-0500)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=54bd68bd1853a9dd2b05813155e53dcf933d8f14;hp=8f067600295d47935d4ec86e612c189d0e39b0d7

edits
---

diff --git a/manipulating_trees_with_monads.mdwn b/manipulating_trees_with_monads.mdwn
index 038cdc36..87ce974f 100644
--- a/manipulating_trees_with_monads.mdwn
+++ b/manipulating_trees_with_monads.mdwn
@@ -525,7 +525,7 @@ quantification.
 
 This sentence means (roughly)
 
-    &Forall; x . yesterday(saw x) john
+    &forall; x . yesterday(saw x) john
 
 That is, the quantifier *everyone* contributes a variable in the
 direct object position, and a universal quantifier that takes scope