git.iko.soy/Idris-dev
on ff0fbfa help sign in
Idris-dev/js/Runtime-browser.js
3 lines 53 B history raw
1__IDRRT__.print = function(s) {
2 console.log(s);
3};