Mercurial > urweb

diff lib/ur/basis.urs @ 1832:373e2c3f03b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Nov 2012 11:45:46 -0500
parents 36428d853c97
children a8b273f1f7e3
line wrap: on
line diff
--- a/lib/ur/basis.urs	Wed Nov 28 11:41:54 2012 -0500
+++ b/lib/ur/basis.urs	Wed Nov 28 11:45:46 2012 -0500
@@ -42,7 +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 pow : t ::: Type -> num t -> t -> t -> t
 val num_int : num int
 val num_float : num float