search

isovector / cornelis

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

Update GHC versions #120

Closed malob closed 1 year ago

isovector commented 1 year ago

Thanks!