search

derekelkins / agda-vim

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

Remove some redundant code/settings #43

Closed rwe closed 5 years ago

rwe commented 5 years ago

This is intended to be a no-op cleanup commit, used as the basis for some other changes I've been tinkering with.