search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

Add 'proof' keyword #30

Open eayus opened 3 years ago