search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

Documentation: Add skeleton for interface #25

Open JonathanLorimer opened 3 years ago