idris-0.9.9: js/Runtime-browser.js

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