Giters
edwinb
/
idris2-vim
Vim mode for Idris 2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
75
Watchers:
8
Issues:
9
Forks:
26
edwinb/idris2-vim Issues
Link to `Interactive Idris editing with vim` goes to private wordpress page
Updated
2 years ago
Plugin does not load correctly on neovim / vim-plug
Updated
4 years ago
Comments count
2
I do not even get syntax highlighting
Closed
4 years ago
Comments count
3
File error in --no-color: File Not Found
Updated
4 years ago
Comments count
6
Not working at all
Updated
4 years ago
Comments count
1
Syntastic does not work out of the box
Updated
4 years ago
MakeLemma doesn't transport erasable implicit arguments that must be explicitly bound for type checking
Closed
4 years ago
Comments count
3
Case splitting inserts invalid code that uses "$resolvedXXX" as an identifer.
Closed
4 years ago
Comments count
1
MakeWith is broken
Updated
4 years ago