Revision f94b06de7edcb61d3c49f19417e53dc7dc21d552 authored by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC, committed by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC
1 parent 0a9345e
mochi-app-leq.hs
check as x:Bool -> y:{v:Bool | 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 (a <= b)) (a <= b)
Computing file changes ...
