@hackage / directed-cubical

Finite directed cubical complexes and associated algorithms