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
mochi-app-lin-ord2.hs
check as x:Int -> y:{v:Int | v == x} -> Int
check = 0
app :: rforall a, b, c. (x:a -> b) -> y:a -> b
app = \ f x -> f x
main :: Int -> Int -> Int
main = \a b ->app (check (4 * a + 2 * b)) (4 * a + 2 * b)
