diff lib/js/urweb.js @ 2110:9e9c915f554c

A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Feb 2015 12:29:14 -0500
parents 9272476e2a1c
children f89be9cd2087
line wrap: on
line diff
--- a/lib/js/urweb.js	Wed Jan 28 08:47:04 2015 -0500
+++ b/lib/js/urweb.js	Sun Feb 01 12:29:14 2015 -0500
@@ -112,6 +112,10 @@
     return Math.round(n);
 }
 
+function pow(n, m) {
+    return Math.pow(n, m);
+}
+
 
 // Time, represented as counts of microseconds since the epoch