swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Raw File
Tip revision: b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca authored by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC
formatted for submission
Tip revision: b6407e0
pagination.hs
-- pagination in Mist

thenn as rforall p, q, r.
  ST <p >q -> ST <q >r -> ST <p >r
thenn = 0

nextPage as n:Int ~> ST <{v:Int | v = n} >{v:Int | v = n+1}
nextPage = 0

-- pos
main :: ST <{v:Int | v = 0} >{v:Int | v = 2}
main = thenn nextPage nextPage

back to top