# Changelog for cornelis

## v0.2.0.0 - 2024-04-17

The first official release, after years in the oven.

### 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



## Unreleased changes