Merge pull request #2661 from melted/browser_getline
Add a getLine primitive to browser js
commit928aed4e92b12778be85889d19196ba43e041f32
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 24 Sep 2015, 19:58 (11 years ago)
parentbad3dd6558ddd9
jsrts/Runtime-browser.js+4
@@ -1,3 +1,7 @@
1+var i$getLine = function() {
2+ return prompt("Prelude.getLine");
3+}
4+
15var i$putStr = function(s) {
26 console.log(s);
37};