on 6dc5ea2 help sign in
Idris-dev/javascript/javascript.ipkg
5 lines 81 B history raw
1package javascript
3opts = "-i ../lib"
4modules = JavaScript, JavaScript.JSON