git.iko.soy/jibb
on c4e28d2 help sign in
jibb/tests/type-program-main/source.txt
12 lines 328 B history raw
1+$ message
2 %start
3 %stop
4+$ model [count=@ud]
5++ main (program (init) update view subs)
6++ init |= input=@t ^- model [count=0]
7++ update |= [msg=message state=model]
8 ^- [model (list (cmd message))] [state ~]
9++ view |= state=model ^- (element message) (text "view")
10++ subs |= state=model
11 ^- (list (sub message))
12 (~)