Monoidal witnesses that all items in a bag are the same / unique.
joelburget / symmetric-properties Goto Github PK
View Code? Open in Web Editor NEW`Same` / `Unique` monoidal witnesses
Home Page: https://hackage.haskell.org/package/symmetric-properties
License: BSD 3-Clause "New" or "Revised" License