@@ -31,6 +31,7 @@ var Prelude = function() {
31 fst : function(p) { return p[1]; },
31 fst : function(p) { return p[1]; },
32 snd : function(p) { return p[2]; },
32 snd : function(p) { return p[2]; },
33 rem : function(x) { return function(y) { return x % y; }; },
33 rem : function(x) { return function(y) { return x % y; }; },
34+ div : function(x) { return function(y) { return x / y; }; },
34 sqrt : Math.sqrt,
35 sqrt : Math.sqrt,
35 abs : Math.abs,
36 abs : Math.abs,
36 pi : Math.PI,
37 pi : Math.PI,