This repository has been archived by the owner on Feb 8, 2022. It is now read-only.

maybe optimize times in Map semiring #159

Open

johnynek opened this issue Aug 21, 2016 · 0 comments

Contributor

johnynek commented Aug 21, 2016

see discussion in #157 (a mutable map may be better for times since by default we don't keep the keys).

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.