X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=monad_library.mdwn;h=1761e61c4180124a7e9eafaf9852eac66d10a685;hp=466d2ba3bd36019c7c2645fecdcc7a6c19816aa3;hb=0683b3c8a32fabb9b78d9827ac809df3a6095434;hpb=73b2ed9e0827afa8bd3e993592c72d98b81afe86

diff --git a/monad_library.mdwn b/monad_library.mdwn
index 466d2ba3..1761e61c 100644
--- a/monad_library.mdwn
+++ b/monad_library.mdwn
@@ -1,6 +1,6 @@
 We've written a full-featured [OCaml Monad Library](/code/monads.ml). To use it, download the file and then in your OCaml session or file, write:
 
-	#use "path/to/monads.ml";;
+	# #use "path/to/monads.ml";;
 
 That's not the official, preferred way to load OCaml libraries, but it's quick and easy.
 
@@ -153,3 +153,15 @@ Some comments on the design of this library.
 compare them for equality and use them for derefs, and so on.
 
 
+Acknowledgements: Our library is largely based on the mtl library distributed with the Glasgow Haskell Compiler. That in turn was inspired by Mark Jones' 1995 paper
+[Functional Programming with Overloading and Higher-Order Polymorphism](http://web.cecs.pdx.edu/~mpj/pubs/springschool.html).
+ I've also been helped in
+ various ways by posts and direct feedback from Oleg Kiselyov and
+ Chung-chieh Shan. The following were also useful:
+
+ *	<http://pauillac.inria.fr/~xleroy/mpri/progfunc/>
+ *	Ken Shan "Monads for natural language semantics" <http://arxiv.org/abs/cs/0205026v1>
+ *	<http://www.grabmueller.de/martin/www/pub/Transformers.pdf>
+ *	<http://en.wikibooks.org/wiki/Haskell/Monad_transformers>
+
+