Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Utils.Tuple
(-*-) :: (a -> c) -> (b -> d) -> (a, b) -> (c, d)Source
(/\) :: (a -> b) -> (a -> c) -> a -> (b, c)Source
uncurry3 :: (a -> b -> c -> d) -> (a, b, c) -> dSource