@@ -34,3 +34,11 @@ using (ts : Vect JSONType n)
3434 index : (i : Fin n) -> JSON (JSONArray n ts) -> JSON (index i ts)
3535 index fO (JSArray (x :: xs)) = x
3636 index (fS i) (JSArray (x :: xs)) = index i (JSArray xs)
37+
38+using(ts1 : Vect JSONType m, ts2 : Vect JSONType n)
39+ (++) : JSON (JSONArray m ts1) ->
40+ JSON (JSONArray n ts2) ->
41+ JSON (JSONArray (m + n) (ts1 ++ ts2))
42+ (JSArray []) ++ ys = ys
43+ (JSArray (x :: xs)) ++ ys with ((JSArray xs) ++ ys)
44+ | JSArray as = JSArray (x :: as)