stefan-hoeck / idris2-rhone-js

Experimental JS bindings for idris2-rhone
BSD 3-Clause "New" or "Revised" License
21 stars 4 forks source link

[ example ] Math game #4

Closed stefan-hoeck closed 2 years ago

stefan-hoeck commented 2 years ago

A simple math game for children. Writing this gave me several more ideas I'd like to implement...