lib:coya

Modules

• Coya

Dependencies

• base lib:base >=4.10.1 && <4.13
• groups lib:groups >=0.4
• primitive lib:primitive >=0.6.4
• refined lib:refined >=0.3
• semirings lib:semirings >=0.3

Reverse dependencies

None.