/ArchaIdr

Classic Arcade games written in Idris compiled to JavaScript.

Primary LanguageHTML

Watchers