Geeks
tokinanpa
/
numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
Primary Language
Idris
MIT License
MIT
numidr GitHub
Markdown
Readme
1
Issue
5
Stargazers
1
Watcher
Issues
Open issue
[ pack ] Pack collection fails to build
#1 opened
8 months ago
0