idris-lang/Idris-dev — pull request #1241 by joshvera (2014-05-18 20:44:34+00:00)
Title: Call mainFun even if window and document aren't defined in javascript runtime

This allows Javascript runtimes without those objects to run code generated by Idris.

/cc @raichoo