Updated metadata for Hackage.
The first official release, after years in the oven.
- Agda syntax highlighting
- Support for most
agda_modecommands - Tab completion for
agda_modecommand options - Info windows
- Go to definition
- Increment and decrement unicode subscript/superscript numerals
agda_inputbindings- Optional support for interactive
agda_inputviavim-which-key - Text objects for working inside of holes, implicits and justifications
- Jump to next/previous hole
- Use
%to jump between unicode matchpairs