Project Verona: Research programming language for concurrent ownershipgithub.com/microsoft7 pointsmatt_d6 years ago