http://www.impredicative.com/ur/One addition is a "Who's Using It?" page. If anyone has a project suitable to be linked from there, please let me know!
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
