Sounds like a good idea to me. I think `foo` works as we as @foo@ in
Haddock comments, and is a whole lot less obtrusive when looking at the
comments in their non-typeset form (which is all I ever do).
Simon
PS: I am leaving Microsoft at the end of November 2021, at which point
simo...@micros
> As I refresh my memory about Cmm, I'm thinking of converting the
> existing comments to Haddock comments. The only downside I can think
> of is that the Haddock pages may appear more cluttered.
> Is there any reason I should refrain?
After sending email, I realized that I should make an iss