Many variables have unintuitive names. Make sure that they are named correctly

dghosef / qdbp

MIT License

51 stars 1 forks source link

Many variables have unintuitive names. Make sure that they are named correctly #20

Closed qdbplang closed 1 year ago

qdbplang commented 1 year ago

For example, we often use the name fvset for any set that has variables, not necessarily just for sets representing collections of free variables. Likewise for modules.