from my link log — Verona: a research programming language for concurrent ownership. https://github.com/microsoft/verona saved 2020-10-28 https://dotat.at/:/6KY3K.html