verona is a programming language created in 2019.
Research programming language for concurrent ownership
View source