search

derekelkins / agda-vim

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

Fix version parser when hyphen present #34

Closed VictorTaelin closed 6 years ago

VictorTaelin commented 6 years ago

Fixes #33

derekelkins commented 6 years ago

Thanks.