agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

Ring fails to re-export various raw structures

Open Taneb opened this issue 3 years ago • 0 comments
trafficstars

I haven't investigated to see how big this problem is, but Algebra.Bundles.Ring is missing at least +-rawGroup and rawNearSemiring

Taneb avatar Jan 13 '22 16:01 Taneb