Geeks
hydrolarus
/
ipkg-idr
An Idris 2 package description parser for Idris 2
Primary Language
Idris
ipkg-idr GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
hydrolarus