idris-0.9.13: jsrts/Runtime-browser.js

var __IDRRT__print = function(s) {
  console.log(s);
};


var __IDRRT__systemInfo = function(index) {
    switch(index) {
        case 0:
            return "javascript";
        case 1:
            return navigator.platform;
    }
    return "";
}