ddaedab83 ^
286e5958d ^
1 2 3 4
5
6
7
import streams var outp = newFileStream(stdout) var inp = newFileStream(stdin) write(outp, "Hello! What is your name?") var line = readLine(inp) write(outp, "Nice name: " & line)