Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/dasd.idr

Last active September 7, 2019 20:16
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save MarcelineVQ/6b30190409b02d504b99a0ea0f137322 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save MarcelineVQ/6b30190409b02d504b99a0ea0f137322 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dasd.idr
data Tree : Type -> Type where
Empty : Tree a
MkTree : a -> List (Tree a) -> Tree a
total
map1 : (a -> b) -> Tree a -> Tree b
map1 f Empty = Empty
map1 f (MkTree x xs) = MkTree (f x) (map (map1 f) xs)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment