Geeks
emccorson
/
battle
JavaScript battle game written in Idris
Primary Language
Idris
battle GitHub
Markdown
Readme
0
Issues
6
Stargazers
3
Watchers
Stargazers
DejanMilicic
Serbia
lheckemann
Determinate Systems
mikelnrd
UK
PanJarda
Prague, Czech Republic
risavkarna
plaruh UG, nep.work, cosys.work
vistun