split off reader, intens monads; link to week7

[lambda.git] / reader_monad.mdwn

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