agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
585 stars 237 forks source link

CI: use v2-install for happy #2484

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

cabal v1-install happy does not work any longer: https://github.com/haskell/happy/issues/315