git.iko.soy/jibb
on f43d2ee help sign in
jibb/tests/type-program-update/wrong-model.txt
12 lines 358 B history raw
1+$ model [count=@ud]
2+$ message
3 %noop
4 [%set value=@ud]
5++ main (program init update view subs)
6++ init |= input=@t ^- model [count=0]
7++ update |= [event=message current=model]
8 ?- event
9 %noop [current ~]
10 [%set value] [[count="wrong"] ~]
11++ view |= state=model ^- (element message) (text "view")
12++ subs |= state=model ^- (list (sub message)) ~