issues
search
isovector
/
cornelis
agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
130
stars
22
forks
source link
Update to GHC 9.6.4
#145
Closed
malob
closed
6 months ago
malob
commented
6 months ago
Update to GHC 9.6.4
Update to latest version of GitHub actions used
isovector
commented
6 months ago
Thanks!