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