owickstrom/idris-vimscript

Compile Idris to Vimscript, like you always wanted.

HaskellStars 131Forks 5Watchers 131Open issues 16License Other
Details
仓库信息
Ownerowickstrom
Homepage
Last pushed2018-01-26
Last updated2025-12-15
Issues fetched at

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--