search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
575 stars 237 forks source link

Algebra fixity #2386

Closed JacquesCarette closed 4 months ago

JacquesCarette commented 4 months ago

One more step towards #207 . Also add to style guide.