Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Idris> :t map
map : Functor f => (a -> b) -> f a -> f b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment