Mercurial > urweb
diff lib/ur/basis.urs @ 1831:36428d853c97
Standard library additions: Option.unsafeGet, Basis.exp
author | Austin Seipp <mad.one@gmail.com> |
---|---|
date | Wed, 28 Nov 2012 11:41:54 -0500 |
parents | b8558b613abd |
children | 373e2c3f03b2 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Wed Nov 28 11:39:38 2012 -0500 +++ b/lib/ur/basis.urs Wed Nov 28 11:41:54 2012 -0500 @@ -42,6 +42,7 @@ val times : t ::: Type -> num t -> t -> t -> t val divide : t ::: Type -> num t -> t -> t -> t val mod : t ::: Type -> num t -> t -> t -> t +val exp : t ::: Type -> num t -> t -> t -> t val num_int : num int val num_float : num float