git.iko.soy/jibb
on f43d2ee help sign in
jibb/tests/type-program-update/source.txt
15 lines 423 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]
11 ?- (gth value 10)
12 %.y [current(count=value) ~]
13 %.n [current ~]
14++ view |= state=model ^- (element message) (text "view")
15++ subs |= state=model ^- (list (sub message)) ~