Austral (a simple-ish language with a linear type system)

[Araq]

Where can I find this simple ruleset? 
<https://austral-lang.org/spec/spec.html#expr-borrow> is not sufficient.