Commit 2023-01-27 20:59 06a8409a
View on Github →feat: Port/Data.Finsupp.Order (#1891)
port of data.finsupp.order
needs explicit naming of instances in Data.Finsupp.Order.Defs
feat: Port/Data.Finsupp.Order (#1891)
port of data.finsupp.order
needs explicit naming of instances in Data.Finsupp.Order.Defs