rhi
/
idris2-vim
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Update README slightly

This commit is contained in:
Edwin Brady 2020-02-22 20:45:05 +00:00
parent 2d3f31df29
commit 16eaa95de4
2 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
README.md
View File

@ -1,9 +1,15 @@
Idris 2 mode for vim
====================
This is an [Idris 2][] mode for vim which features syntax highlighting,
indentation and optional syntax checking via [Syntastic][]. If you need a REPL
I recommend using [Vimshell][].
This is an [Idris2][] mode for vim which features interactive editing,
syntax highlighting, indentation and optional syntax checking via
[Syntastic][]. If you need a REPL I recommend using [Vimshell][].
It is mostly cloned from the original [idris-mode][].
Not all of the commands work yet. Note that the keyboard shortcuts have
been updated since Idris 1 to be consistent with the Atom mode (e.g.
`<LocalLeader>a` to add definition, rather than `<LocalLeader>d`) although
the old shortcuts still work.
![Screenshot](http://raichoo.github.io/images/vim.png)
@ -42,12 +48,10 @@ commands are supported.
`<LocalLeader>t` show type
`<LocalLeader>d` Create an initial clause for a type declaration.
`<LocalLeader>a` Create an initial clause for a type declaration.
`<LocalLeader>b` Same as \d but for an initial typeclass method impl.
`<LocalLeader>md` Same as \d but for a proof clause
`<LocalLeader>c` case split
`<LocalLeader>mc` make case
@ -64,11 +68,11 @@ commands are supported.
`<LocalLeader>o` obvious proof search
`<LocalLeader>p` proof search
`<LocalLeader>s` proof search
`<LocalLeader>i` open idris response window
`<LocalLeader>h` show documentation
`<LocalLeader>d` show documentation
## Configuration

2
syntax/idris2.vim
View File

@ -86,4 +86,4 @@ highlight def link idrisString String
highlight def link idrisChar String
highlight def link idrisBacktick Operator
let b:current_syntax = "idris"
let b:current_syntax = "idris2"