Remove conflicting fixity declaration
commit7c9cc16f5ab1f645944e3e42c1489127bd8397fe
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateFri 14 Feb 2014, 02:16 (13 years ago)
parentb8ef4f4
libs/javascript/JavaScript/JSON.idr−2
@@ -36,8 +36,6 @@ index : (i : Fin n) -> JSON (JSONArray n ts) -> JSON (index i ts)
3636index fZ (JSArray (x :: xs)) = x
3737index (fS i) (JSArray (x :: xs)) = index i (JSArray xs)
3838
39−infixl 8 ++
40−
4139(++) : JSON (JSONArray m ts1) ->
4240 JSON (JSONArray n ts2) ->
4341 JSON (JSONArray (m + n) (ts1 ++ ts2))