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
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