search

agda / cubical

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

Naming Convention for Disambiguation #1126

Closed felixwellen closed 2 months ago

felixwellen commented 2 months ago

It happens that one wants to have different versions of some term or type, which just take arguments in a different order or form. It would be good to have a naming convention for cases like these. I usually append apostrophies and I think other contributers did that as well, but we don't seem to have written down that we do that. Should this be in NAMING.md?

felixwellen commented 2 months ago

This is actually not as much a problem as I thought. Just decided with Anders to add nothing on it to the convetions.