Skip to content

agda/cornelis

Error
Looks like something went wrong!

About

agda-mode for neovim

Topics

neovim agda vim-textobj-user nvim-hs vim-which-key

Resources

Readme

License

BSD-3-Clause license
Activity
Custom properties

Stars

158 stars

Watchers

5 watching

Forks

24 forks
Report repository

Releases

2 tags

Packages

No packages published

Contributors 17
+ 3 contributors

Languages