[Agda] printing to String

[Serge D. Mechveliani]

Please,
how to print a value to String ?
What is an analogue for  Show.show  of Haskell ?
For example,
    true                         ->  "true"
    (true, 23) : (Bool, Integer) ->  "(true, 23)"

Is it in  lib-0.6 ?

Thanks,

------
Sergei
mechvel at botik.ru