diff -r 349716e61e18 -r d6ed86b9aa24 web/js/ds.js
--- a/web/js/ds.js	Fri Oct 25 18:40:46 2013 +0200
+++ b/web/js/ds.js	Fri Oct 25 18:41:40 2013 +0200
@@ -29,3 +29,11 @@
   "7r" : "9f58e02e-3b1f-11e3-a863-00145ea4a2be",
   "full" : "90be1ecc-363c-11e3-98be-00145ea4a2be",
 };
+
+Function.prototype.curry = function() {
+    var fn = this, args = Array.prototype.slice.call(arguments);
+    return function() {
+      return fn.apply(this, args.concat(
+        Array.prototype.slice.call(arguments)));
+    };
+  };