X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=reader_monad.mdwn;fp=reader_monad.mdwn;h=6702a8a7ad13ba952bb11355952d2bcbea9195fb;hp=0000000000000000000000000000000000000000;hb=b221494c397f7a6841b95ceeb227ac436d98440e;hpb=1713e01a3a0982e0f8fc68ed93035cea6ca8f46e

diff --git a/reader_monad.mdwn b/reader_monad.mdwn
new file mode 100644
index 00000000..6702a8a7
--- /dev/null
+++ b/reader_monad.mdwn
@@ -0,0 +1,6 @@
+Introduce
+
+Heim and Kratzer's "Predicate Abstraction Rule"
+
+
+