Skip to content

emccorson/battle

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

JavaScript battle game written in Idris

Resources

Stars

Watchers

Forks

Packages

No packages published