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
sum.hs
sum :: n:Int ~> m:Int ~> (Int -> { v : Int | v == n }) -> (Int -> { v : Int | v == m }) -> { v : Int | v == n + m }
sum = (\ f g -> (f 0) + (g 0))
test1 :: { v : Int | v == 11 }
test1 = sum (\ x -> 10) (\y -> 1)