A browser Pong game, taking advantage of Idris's ability to compile to javascript.