Commit graph

3 commits

Author SHA1 Message Date
Alexander Medvednikov
36ec47cd20 all: replace "NB:" with "Note:" (docs/comments) 2022-03-06 20:01:22 +03:00
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