Added assignmemnt 6

[lambda.git] / intensionality_monad.mdwn

diff --git a/intensionality_monad.mdwn b/intensionality_monad.mdwn
index 39dd802..44bcaa5 100644 (file)
--- 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].