agda / cubical

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

Remove outdated comment #952

Closed felixwellen closed 1 year ago

felixwellen commented 1 year ago

removes an outdated comment in the examples for the ring solver. Merging once ci is happy.