search

derekelkins / agda-vim

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

Add variable keyword #57

Closed mb64 closed 4 years ago

mb64 commented 4 years ago

The variable keyword was introduced in Agda 2.6.0.

derekelkins commented 4 years ago

Thanks.