X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=intensionality_monad.mdwn;fp=intensionality_monad.mdwn;h=44bcaa54a5adb95f4dafb5801cb3aa5e7da7f34e;hp=39dd8028e50b199c6d713e6430b3c7097633e688;hb=be61fc4d5a36febd2eea74b49be6908b734248d7;hpb=c50557f9e28953396ce6b09d169096d848a1985e

diff --git a/intensionality_monad.mdwn b/intensionality_monad.mdwn
index 39dd8028..44bcaa54 100644
--- a/intensionality_monad.mdwn
+++ b/intensionality_monad.mdwn
@@ -19,7 +19,7 @@ Note the extra `#` attached to the directive `use`.
 
 First, the familiar linguistic problem:
 
-       	   Bill left.  
+           Bill left.  
 	   Cam left.
 	   Ann believes [Bill left].
 	   Ann believes [Cam left].