Geeks
foolswood
/
idui
Experimenting with idris for a browser UI
Primary Language
Idris
idui GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
No issues in this repository yet.