[Agda] Showing Reflection.Name

[Nils Anders Danielsson]

On 2013-11-27 23:44, Pepijn Kokke wrote:
> Is any of you aware of a function `Name → String` to show Agda names
> (as in, Reflection.Name)?

I'm not.

> And if it does indeed not exist, what would be the difficulties in
> implementing it?

Presumably this would be easy.

-- 
/NAD