git.iko.soy/Idris-dev
on 37845e4 help sign in
Idris-dev/jsrts/Runtime-node.js
17 lines 293 B history raw
1var i$putStr = (function() {
2 var fs = require('fs');
3 return function(s) {
4 fs.write(1,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 "";