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