agda/agda-stdlib-classes

Version numbers in .agda-lib file?

Opened this issue · 0 comments

omelkonian commented

Should we follow stdlib practice and append the version number as a suffix to the library name in the .agda-lib file?