idris-0.9.13: jsrts/Runtime-node.js

var __IDRRT__print = (function() {
  var util = require('util');
  return function(s) {
    util.print(s);
  };
})();

var __IDRRT__systemInfo = function(index) {
    var os = require('os')
    switch(index) {
        case 0:
            return "node";
        case 1:
            return os.platform();
    }
    return "";
}