Michael Sippel 445fa0bd3a tree nav: rename get_max_depth() to get_height()		2023-09-04 06:18:45 +02:00
..
addr.rs	upgrade node with morphisms	2023-02-17 00:59:07 +01:00
cursor.rs	fix list split/join & more edge cases in typetermeditor	2023-09-04 01:32:17 +02:00
mod.rs	upgrade node with morphisms	2023-02-17 00:59:07 +01:00
nav.rs	tree nav: rename get_max_depth() to get_height()	2023-09-04 06:18:45 +02:00
node.rs	tree nav: rename get_max_depth() to get_height()	2023-09-04 06:18:45 +02:00
treetype.rs	restructure TypeTerm	2023-08-12 19:03:14 +02:00