Advertisement
tinyevil

Untitled

Mar 17th, 2018
164
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.10 KB | None | 0 0
  1. map {A B:Type} (fn:A->B) (ls:list A) : list B
  2. case ls of
  3. [] -> []
  4. x::xs -> fn x :: map fn xs
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement