Mercurial > urweb
diff lib/basis.urs @ 575:9f02f1765149
Starting to implement source set
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 30 Dec 2008 09:43:41 -0500 |
parents | 55fc747a67dc |
children | 4c2c740c6931 |
line wrap: on
line diff
--- a/lib/basis.urs Sun Dec 21 12:56:39 2008 -0500 +++ b/lib/basis.urs Tue Dec 30 09:43:41 2008 -0500 @@ -85,6 +85,7 @@ con source :: Type -> Type val source : t ::: Type -> t -> transaction (source t) +val set : t ::: Type -> source t -> t -> transaction unit con signal :: Type -> Type val signal_monad : monad signal