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