git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2661 from melted/browser_getline
928aed4Niklas Larsson
jsrts/Runtime-browser.js+4
compare with master
unifiedsplit
@@ -1,3 +1,7 @@
1+var i$getLine = function() {
2+ return prompt("Prelude.getLine");
3+}
4+
1var i$putStr = function(s) {
5var i$putStr = function(s) {
2 console.log(s);
6 console.log(s);
3};
7};