Geeks
sekerpare
/
idris-aggregator
Aggregation tool with Idris
Primary Language
Idris
idris-aggregator GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
idris-aggregator
Aggregation tool with Idris