git.iko.soy/Idris-dev
on v0.9.15.1 help sign in
Idris-dev/jsrts/Runtime-node.js
17 lines 297 B history raw
1var i$putStr = (function() {
2 var util = require('util');
3 return function(s) {
4 util.print(s);
5 };
6})();
8var i$systemInfo = function(index) {
9 var os = require('os')
10 switch(index) {
11 case 0:
12 return "node";
13 case 1:
14 return os.platform();
15 }
16 return "";