15 Forks
97 Stars
97 Watchers

cornelis

agda-mode for neovim

How to download and setup cornelis

Open terminal and run command
git clone https://github.com/isovector/cornelis.git
git clone is used to create a copy or clone of cornelis repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with cornelis https://github.com/isovector/cornelis/archive/master.zip

Or simply clone cornelis with SSH
[email protected]:isovector/cornelis.git

If you have some problems with cornelis

You may open issue on cornelis support forum (system) here: https://github.com/isovector/cornelis/issues

Similar to cornelis repositories

Here you may see cornelis alternatives and analogs

 fzf    vim-gitgutter    dotfiles    vim-bootstrap    dotfiles    neovim    oni    NyaoVim    vim-galore    SpaceVim    vimr    tagbar    vim-sneak    nvim-completion-manager    vim-dirvish    awesome-vim-colorschemes    chromatica.nvim    NeoVintageous    nvim-hs    defx.nvim    node-client    iron.nvim    acid.nvim    dotfiles    semshi    bolt.nvim    ncm-R    nvim-terminus    nvim    angr.vim