Mercurial > urweb

diff lib/ur/basis.urs @ 1831:36428d853c97

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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