Camilo Andrés Rodríguez Garzón
braunTree is a Agda program intend to provide an alternative to understand the data structure Braun tree.
To further understand the demonstration made to the Braun tree data structure. Some examples of the creation of Braun tree.
Stump, Aaron. Verified Functional Programming in Agda. Aug. 2015 (Chap. 5).