idris-0.9.6.1: js/Runtime-browser.js

__IDRRT__.print = function(s) {
  console.log(s);
};