derekelkins / agda-vim

Agda interaction in vim
BSD 2-Clause "Simplified" License
130 stars 46 forks source link

A number of cleanups/moderniation improvements #44

Closed rwe closed 5 years ago

rwe commented 5 years ago

See commit messages and individual diffs below. The commits are fairly independent, though enough adjacent lines were touched that it was going to be a bit tough to split into individual PRs without further need.

If any should be split out, let me know. Includes/was based on #43.