On 12/30/11 6:25 PM, Timon Gehr wrote:
I'd be happy to extend the system, but currently I don't see it fall
short any of the three requirements. Can you help me out?

I think it would be great to reproduce the expansion semantics of ddoc.

Andrei

Reply via email to