Declarative data-structure and algorithm diagrams with operation transitions and teaching traces.
0.3.0