Commit Graph

2 Commits (646d46b4dc73c7516f9bb1bad197d3ffe0a8c2ba)

Author SHA1 Message Date
Delyan Angelov 0da40c4ea9
examples: use Empty instead of Leaf in tree_of_nodes.v 2021-01-15 11:15:29 +02:00
Delyan Angelov 944bb294e3
examples: add tree_of_nodes.v, based on a `type Tree = Leaf | Node` sumtype 2021-01-15 10:09:44 +02:00