galtys / battle

JavaScript battle game written in Idris

Battle

Battle is a small text-based game written in Idris and JavaScript.

It accompanies this blog post.

The game is a normal Idris state machine, with some extra jiggery-pokery to get persistent state working with JavaScript event listeners.

Works with Idris 1.2.0.

Running

Compile with:

idris --codegen javascript -o battle.js Battle.idr

To run, open battle.html in a browser window.