[Ur] New wiki for Ur information

Adam Chlipala adamc at impredicative.com
Tue Dec 29 14:50:39 EST 2009


I've created a MediaWiki for information about Ur and Ur/Web:
     http://www.impredicative.com/wiki/

The only content so far is in answer to a query from earlier today:
     http://www.impredicative.com/wiki/index.php/Ur_C_FFI_Example




More information about the Ur mailing list