:: Int -> (a -> a) -> a -> a package:Agda

No results found