Skip to content

Instantly share code, notes, and snippets.

@jhenahan

jhenahan/Trees.agda

Created June 30, 2013 04:48
Show Gist options
  • Save jhenahan/5893891 to your computer and use it in GitHub Desktop.
Save jhenahan/5893891 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Trees.agda
data Tree : Set
data Tree′ : Set
data Tree where
leaf : Tree
node : Tree → Tree′ → Tree
data Tree′ where
leaf : Tree′
node : Tree′ → Tree → Tree′
tree₀ : Tree
tree₀ = leaf
tree₁ : Tree
tree₁ = node (node leaf leaf) leaf
tree₂ : Tree
tree₂ = node (node leaf leaf) (node leaf leaf)
tree₃ : Tree
tree₃ = node (node (node leaf leaf) leaf) (node leaf (node leaf leaf))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment