git.iko.soy/Idris-dev
on bd8ea0a help sign in
Idris-dev/jsrts/Runtime-javascript.js
11 lines 326 B history raw
1$JSRTS.prim_systemInfo = function (index) {
2 switch (index) {
3 case 0:
4 return "javascript";
5 case 1:
6 return navigator.platform;
7 }
8 return "";
9};
10$JSRTS.prim_writeStr = function (x) { return console.log(x) }
11$JSRTS.prim_readStr = function () { return prompt('Prelude.getLine') };