start moving operator definitions to prelude.jl

prelude.jl

@@ -55,3 +55,17 @@ deftype (Either a b)
 ;; I/O functions
 
 (print :: (String -> (IO Void)))
+
+;; Operator definitions
+
+defop 3 Left (a + b)
+  (add a b)
+
+defop 3 Left (a - b)
+  (minus a b)
+
+defop 4 Left (a * b)
+  (mul a b)
+
+defop 4 Left (a / b)
+  (div a b)

representation.js

@@ -370,10 +370,11 @@ var gensym = makeGensym();
 
 //console.log(isTypeExpr(new Name("T")));
 
-OPInfo = {"+" : [3, "Left"],
+OPInfo = {
+         /*"+" : [3, "Left"],
          "-" :  [3, "Left"],
          "*" :  [4, "Left"],
-         "/" :  [4, "Left"],
+         "/" :  [4, "Left"],*/
          "^" :  [5, "Right"],
           "++" : [3, "Left"],
           "==" : [2, "Left"],