idris-0.9.9.3: jsrts/Runtime-browser.js

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