idris-0.9.9: javascript/javascript.ipkg

package javascript

opts    = "-i ../lib"
modules = JavaScript, JavaScript.JSON