Idris mode for vim, modification to support Idris2 (incomplete)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool