swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca authored by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC
formatted for submission
formatted for submission
Tip revision: b6407e0
ticktock.hs
-- tick and tock in Mist
thenn as rforall p, q, r.
ST <p >q -> ST <q >r -> ST <p >r
thenn = 0
ticked as State
ticked = 0
tocked as State
tocked = 0
tick as ST <{v:State | v = tocked} >{v:State | v = ticked}
tick = 0
tock as ST <{v:State | v = ticked} >{v:State | v = tocked}
tock = 0
-- pos
-- main = tick >> tock >> tick >> tock
main :: ST <{v:State | v = tocked} >State
main = thenn tick tock
-- neg
-- main = tick >> tick