Questions tagged [version]

Use this tag with a question related to software with version numbering to understand if a specific version is essential.

Filter by
Sorted by
Tagged with
4 votes
1 answer

When installing Agda does one have to be attentive to a version?

If I want to install Agda do I have to be attentive to versions, breaking changes, etc.? A comment from an earlier question noted Agda version for installed libraries
Guy Coder's user avatar
  • 2,836