[Agda] Showing Reflection.Name

[Pepijn Kokke]

Hey all,

Is any of you aware of a function `Name → String` to show Agda names (as
in, Reflection.Name)? I've been looking for it, but as far as I've been
able to find, it doesn't exist.

And if it does indeed not exist, what would be the difficulties in
implementing it? The internal QName construct seems to have a show function
associated with it---and Agda itself is capable of showing them.

Regards,
Pepijn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131127/20d00374/attachment.html