| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-11-05 | Adjust universe levels | Jacques Comeaux |
| 2025-07-19 | Import missing pattern synonym | Jacques Comeaux |
| 2025-07-09 | Allow arity-0 hyperedges in functional hypergraphs | Jacques Comeaux |
| 2025-05-01 | Add labeled hypergraph decoration functor | Jacques Comeaux |
