Add div function for integer division.

This commit is contained in:
evancz 2012-07-17 18:53:48 +00:00
parent 4cd426d9fb
commit 0b99ea4def

View file

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