<div dir="ltr">Hey all,<div><br></div><div>Is any of you aware of a function `<span style="font-family:arial,sans-serif;font-size:13px">Name → String` to show Agda names (as in, Reflection.Name)? </span>I&#39;ve been looking for it, but as far as I&#39;ve been able to find, it doesn&#39;t exist.</div>

<div><br></div><div>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.</div>

<div><br></div><div>Regards,</div><div>Pepijn</div></div>