search

agda / cubical

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

Bump `cubical-utils` to GHC 9.8 #1079

Closed andreasabel closed 9 months ago

andreasabel commented 9 months ago
andreasabel commented 9 months ago

This is a pure maintenance change that I want in Agda 2.6.4.1, so I take the liberty to merge this now...