KesterTong/idris2048 — pull request #4 by KesterTong (2014-12-31 08:49:43+00:00)
Title: Use JavaScript code output

Instead of using the console, JavaScript code generation is used, and a lightweight JavaScript tiling game engine is used to produce the user interface. This results in a user interface that works properly and looks nicer. It also paves the way for a general tiling game engine for Idris with JavaScript code generation.

Currently I don't have Effects working in this version, so random numbers are clunky.