search

agda / cornelis

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

Improve CI #122

Closed malob closed 1 year ago

malob commented 1 year ago

Don't worry about the Agda build related failures. I'll take care of those later. I think this is ready to merge.