Geeks
kasiaMarek
/
TyRE
Primary Language
Idris
MIT License
MIT
TyRE GitHub
Markdown
Readme
3
Issues
26
Stargazers
5
Watchers
Watchers
donovancrichton
gallais
Glasgow, Scotland
jhcloos
kasiaMarek
ohad