Austral

The list of features and anti-features looks amazing, that's just want I want from a simple systems language.

However, the list of examples has... basically nothing. So it hasn't really proved that its set of features is enough to do anything with it.

The syntax is... off-putting. Regardless of how superficial it might seem, most systems programmers will want curly braces, and going against that is a really bad idea.

How do the linear types here relate (or not relate) to the Borrow Checker in Rust?