git.iko.soy/Idris-dev
on cfb0cd7 help sign in
Idris-dev/jsrts/Runtime-javascript.js
15 lines 392 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};
11$JSRTS.prim_writeStr = function (x) { return console.log(x) };
13$JSRTS.prim_readStr = function () { return prompt('Prelude.getLine') };
15$JSRTS.die = function (message) { throw new Error(message) };