locallycompact / monoidal-containers

Maps using values' monoidal structure during merging

Geek Repo

Github PK Tool