3 import StdEnv => qualified return
6 gEditor{|{#Int}|} = emptyEditor
8 JSONEncode{|{#Int}|} x = [JSONArray [JSONInt e \\ e <-: x]
9 JSONDecode{|{#Int}|} _ (JSONArray a) = {#i\\JSONInt<-a}
10 gDefault{|{#Int}|} = {}
11 gEq{|{#Int}|} l r = size l == size r && and [l == r\\l<-l & r<-r]
13 Start w = startEngine t w