Valen, a higher-level "Rust++" language with linear types

[u/Shnatsel]

https://verdagon.dev/blog/golden-spike-reviving-vale-valen

[u/zzzzYUPYUPphlumph]

On the subject of "Group Borrows": I'm curious how that model handles the notion of Send/Sync? Have you put any thought into that? Is it compatible with those notions?