From 94a1373401529f500640b0c0628e7173612cdabe Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 19 Jul 2009 17:45:02 -0400
Subject: Working on Grid; have gone from one dynamic table bizareness to
 another

---
 lib/ur/monad.urs | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/lib/ur/monad.urs b/lib/ur/monad.urs
index cfe0ef8e..b3cb3d6f 100644
--- a/lib/ur/monad.urs
+++ b/lib/ur/monad.urs
@@ -1,2 +1,5 @@
 val exec : m ::: (Type -> Type) -> monad m -> ts ::: {Type}
            -> $(map m ts) -> folder ts -> m $ts
+
+val ignore : m ::: (Type -> Type) -> monad m -> t ::: Type
+             -> m t -> m unit
-- 
cgit v1.2.3