Changelog for cornelis

v0.2.0.1 - 2024-05-17

Updated metadata for Hackage.

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