module test

import iTasks

Start w = startEngine main w

sh :: Shared [Int]
sh = sharedStore "bork" [0,1,2]

main :: Task [Int]
main = viewSharedInformation () [] sh ||- (chooseAction [(Action "Empty", ())] >>- \()->upd tl sh >>- viewInformation () [])