edwinb/Idris-dev — pull request #162 by raichoo (2013-01-24 09:05:06+00:00)
Title: javascript: fold modules

Fold modules rather than extending them for every new function.