diagrams / dual-tree

Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
16Updated 6 months ago

Related projects

Alternatives and complementary repositories for dual-tree