Geeks
gallais
/
idris-free
Various Free-X experiments
Primary Language
Idris
GNU Affero General Public License v3.0
AGPL-3.0
idris-free GitHub
Markdown
Readme
0
Issues
4
Stargazers
4
Watchers
Watchers
jhcloos
gallais
Glasgow, Scotland
eemailme
alissa-tung