search

derekelkins / agda-vim

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

Highlight `Prop` #59

Closed favonia closed 3 years ago