1 2 3 4 5 6 7 8 9 10 11
//! Double category theory and two-dimensional categorical logic. pub mod category; pub mod graph; pub mod tree; pub mod tree_algorithms; pub mod model; pub mod model_diagram; pub mod model_morphism; pub mod theory;