on cf0ef4f help sign in
Idris-dev/libs/javascript/javascript.ipkg
5 lines 109 B history raw
1package javascript
3opts = "--nobasepkgs -i ../prelude -i ../base"
4modules = JavaScript, JavaScript.JSON