Mercurial > urweb

diff lib/ur/basis.urs @ 701:f963356b53fd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update the manual
author Adam Chlipala <adamc@hcoop.net>
date Sun, 05 Apr 2009 12:37:38 -0400
parents 500e93aa436f
children 70cbdcf5989b
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Apr 05 12:05:19 2009 -0400
+++ b/lib/ur/basis.urs	Sun Apr 05 12:37:38 2009 -0400
@@ -113,7 +113,6 @@
 
 con channel :: Type -> Type
 val channel : t ::: Type -> transaction (channel t)
-val subscribe : t ::: Type -> channel t -> transaction unit
 val send : t ::: Type -> channel t -> t -> transaction unit
 val recv : t ::: Type -> channel t -> transaction t