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