Version numbers in .agda-lib file? #25
Description
Should we follow stdlib practice and append the version number as a suffix to the library name in the .agda-lib file?
{{ message }}
Should we follow stdlib practice and append the version number as a suffix to the library name in the .agda-lib file?