Classic Arcade games written in Idris compiled to JavaScript.
Primary LanguageHTML
No issues in this repository yet.