search

derekelkins / agda-vim

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

Add 'inductive' and 'coinductive'. #23

Closed favonia closed 8 years ago