search

derekelkins / agda-vim

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

Add more characters to the default glyphs #51

Closed taqenoqo closed 4 years ago