agda / cubical

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

Bump cabal version bound on base #890

Closed plt-amy closed 2 years ago

plt-amy commented 2 years ago

I'm fairly sure this is what's causing the CI failure on #845, but I don't have GHC 9.4 on my machine, so I'm abusing CI to test it :wink: