X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment6.mdwn;h=a31cbf8a8b2ac51ea3a27701892f37d6be423db9;hp=d044c12dcb98bce3fa2fb8101a7926ddd09c4e0b;hb=HEAD;hpb=7834e35d4a2de390ce6a1e9113186dcbb9c07a6f;ds=sidebyside

diff --git a/assignment6.mdwn b/assignment6.mdwn
deleted file mode 100644
index d044c12d..00000000
--- a/assignment6.mdwn
+++ /dev/null
@@ -1,5 +0,0 @@
-1.  Test all three monad laws for the intensionality monad.  To do
-this, download the code and load it into your Ocaml evaluator (`# #use
-"intensionality-monad.ml";;`).  For instance, what does evaluating
-`bind (unit 'c') (swap left) 2 == swap left 'c' 2;;` show?  Please
-explain briefly but clearly what you are doing in your discussion.