("-"/:"Q\x1b\x09\x03\x01"){(s,i)=>var t=s.map{c=>print((""+c)*i);' '};println;s+t+s}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page