idris-0.9.10: libs/javascript/javascript.ipkg

package javascript

opts    = "--nobasepkgs -i ../prelude -i ../base"
modules = JavaScript, JavaScript.JSON