search

agda / cubical

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

Add FreeCommAlgebra to 'Algebra.Polynomials' #918

Closed felixwellen closed 2 years ago

felixwellen commented 2 years ago

Small PR, adding FreeCommAlgebra to Cubical.Algebra.Polynomials. I decided to call those polynomials 'typevariate' in analogy with 'univariate' and 'multivate'.

felixwellen commented 2 years ago

I'll merge that myself, if there are no complaints in an hour or so (by human or CI).