Trees

Some tree algorithms in Idris.

References

• Sheard, Linger, "Programming in Omega"
• Mazzoli, "Agda by Example: Sorting"
• van Laarhoven, "Dependently typed DAGs"
• Elliott, "Numbers, Vectors, Trees"
• Appel, "Verified Functional Algorithms"
• McBride, "How to Keep Your Neighbours in Order"
• Kidney, "A Trie in Haskell"
• https://github.com/agda/agda-stdlib/blob/master/src/Data/Trie/NonEmpty.agda