From eab0e09b2b4d125abb98e088ff9a03581aa05717 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 1 Feb 2015 12:29:14 -0500 Subject: A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation --- lib/js/urweb.js | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/js') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index df9097b1..3bf21dd2 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -112,6 +112,10 @@ function round(n) { return Math.round(n); } +function pow(n, m) { + return Math.pow(n, m); +} + // Time, represented as counts of microseconds since the epoch -- cgit v1.2.3