[kragen]

I'm curious how extensively you use automated tests in dynamically-typed languages? I find that the types in statically-typed languages, especially OCaml, take up a lot of the load of tests.

Of course, types can prove things tests can't, and especially the linear types you're using in Austral.

I've been wondering what a "tiny Rust" would look like, so Austral looks pretty interesting.