This file implements support for Vale programming in Emacs, including:

* Syntax highlighting
* Prettification (prettify-symbols-mode)
* Interactive proving
* Jumping to procedure under cursor

See https://github.com/jaybosamiya/vale-mode.el for setup and usage tips.