[Ur] Generalizing transactions

Adam Chlipala adamc at impredicative.com
Mon Dec 6 08:10:53 EST 2010


Karn Kallio wrote:
> Please accept my apologies for sounding snarky or demanding.

No need to apologize.  I appreciate your contributions here, and my last 
reply was meant to be light-hearted. :)



More information about the Ur mailing list