3 ms·Ur/Web is another similar project: http://www.impredicative.com/ur/ http://www.impredicative.com/ur/by doublec 16y agoUr/Web is another similar project: http://www.impredicative.com/ur/ http://www.impredicative.com/ur/