3 Commits (e97ebf8cfc3e0b8d45cccf90e3363f0c6ef7a8b2)

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