search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
454 stars 139 forks source link

Move and split FPAlgebra #924

Closed felixwellen closed 2 years ago

felixwellen commented 2 years ago

Create a folder for fp algebras. One could also go further and split up the instances.