search

agda / cubical

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

#1014: Release version v0.5 #1020

Closed felixwellen closed 1 year ago

felixwellen commented 1 year ago

Carry out source-changes of the release process.

felixwellen commented 1 year ago

This is actually everything to be changed before the release.