Skip to content

Parameterize the tallying algorithm and datastructre with a custom order.

Kim Nguyễn requested to merge tallying-with-custom-order into dev

The tallying algorithm is put in a functor and parameterized by custom ordering for type variables.

Merge request reports