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
pair.hs
fst as rforall a, b. (Pair >a >b) -> a
fst = True
snd as rforall a, b. (Pair >a >b) -> b
snd = True
mkPair as rforall a, b. x:a -> y:b -> Pair >a >b
mkPair = True
foo :: {v:Int | v == 1}
foo = fst (mkPair 1 True)