Comment Comment by marcle The mail-list has been quiet recently, but Ur/Web is not defunct: http://impredicative.com/ur/ parent marcle 5 years ago