Document _eta
, _beta
etc in naming
#2102
Labels
needs-documentation
This PR is missing required documentation
_eta
, _beta
etc in naming
#2102
It would be nice if someone who understands the exact meaning of all these (greek letter)-expansion will briefly describe the meaning of these suffixes in
docs/contribute/naming.md
for those who (like me) don't remember what each letter means. E.g., a table of what these lemmas should mean for some simple type (prod
?sigma
?) would help.The text was updated successfully, but these errors were encountered: