git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/jsrts/Runtime-browser.js
17 lines 279 B history raw
1var i$getLine = function() {
2 return prompt("Prelude.getLine");
3}
5var i$putStr = function(s) {
6 console.log(s);
7};
9var i$systemInfo = function(index) {
10 switch(index) {
11 case 0:
12 return "javascript";
13 case 1:
14 return navigator.platform;
15 }
16 return "";