git.iko.soy/jibb
on 70feb07 help sign in
jibb/tests/type-program-main/initializer-error.txt
10 lines 334 B history raw
1+$ model [xs=(list @t) draft=@t error=@t]
2+$ message
3 %start
4 %stop
5++ main (program init update view subs)
6++ init |= ts=(list @t) [ts "" ~]
7++ update |= [msg=message state=model]
8 ^- [model (list (cmd message))] [state ~]
9++ view |= state=model ^- (element message) (text "view")
10++ subs |= state=model ^- (list (sub message)) ~