edwinb/Idris-dev — pull request #184 by raichoo (2013-02-13 18:27:15+00:00)
Title: javascript: split javascript and node target

Supporting 2 different environments in one runtime can lead to weird results when using google closures advanced optimizations.