search

agda / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
135 stars 23 forks source link

Update GHC versions with default as 9.4.8 #134

Closed malob closed 11 months ago