From 67d67ecae2fdb8708e6207db04880d89d43ba1cb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 2 Jun 2009 11:50:53 -0400
Subject: Do 'open constraints' automatically; fix sourceless <cselect> monoize
 bug; Monad library module

---
 lib/ur/monad.urs | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 lib/ur/monad.urs

(limited to 'lib/ur/monad.urs')

diff --git a/lib/ur/monad.urs b/lib/ur/monad.urs
new file mode 100644
index 00000000..cfe0ef8e
--- /dev/null
+++ b/lib/ur/monad.urs
@@ -0,0 +1,2 @@
+val exec : m ::: (Type -> Type) -> monad m -> ts ::: {Type}
+           -> $(map m ts) -> folder ts -> m $ts
-- 
cgit v1.2.3