search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
454 stars 139 forks source link

Readme refers to tag: v0.5 for Agda v2.6.3 not such tag exist in repo #987

Closed sebeaumont closed 1 year ago

sebeaumont commented 1 year ago

Am I missing something? Is using master with Agda 2.6.3 the workaround?

felixwellen commented 1 year ago

They current master is supposed to be the current (unreleased, still changing) state of v0.5. Maybe writing something like v0.5 (current master) in the table with the versions makes that clearer?

felixwellen commented 1 year ago

Or maybe we also change the sentence above the table to Versions as written below, correspond to tags, except for the current development version of cubical, which can be used by checking out master. Which is a lot longer, but also pretty clear I guess.

sebeaumont commented 1 year ago

Agreed the latter does not refer to a non existent tag, which is unambiguous.

felixwellen commented 1 year ago

Should be solved with #1014