From 0b99ea4def146d8e1d47916e8b149d7da0f19e42 Mon Sep 17 00:00:00 2001
From: evancz <info@elm-lang.org>
Date: Tue, 17 Jul 2012 18:53:48 +0000
Subject: [PATCH] Add `div` function for integer division.

---
 core-js/Prelude.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core-js/Prelude.js b/core-js/Prelude.js
index f47db91..c89c903 100644
--- a/core-js/Prelude.js
+++ b/core-js/Prelude.js
@@ -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,