while(1>0){val(s,r)=readLine.init.splitAt(1);println(s+(""+r.min)*r.size+s+r.filter{r.min<})}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page