git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/js/Runtime-node.js
6 lines 118 B history raw
1var __IDRRT__print = (function() {
2 var util = require('util');
3 return function(s) {
4 util.print(s);
5 };
6})();