search

agda / cubical

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

Update agda version table #1114

Closed felixwellen closed 3 months ago

felixwellen commented 3 months ago

I just add the info that current master checks with the latest agda release 2.6.4.3. I don't think we need a whole release for that. I'll merge once everything checks.