Changelog for cornelis

Unreleased changes

Features

Agda syntax highlighting
Support for most agda_mode commands
Tab completion for agda_mode command options
Info windows
Go to definition
Increment and decrement unicode subscript/superscript numerals
agda_input bindings
Optional support for interactive agda_input via vim-which-key
Text objects for working inside of holes, implicits and justifications
Jump to next/previous hole
Use % to jump between unicode matchpairs