> Luckily, the entire linear type checker is just 600 lines of code 600 lines of code in an extremely high level and very powerful language. Curious to see it

> Luckily, the entire linear type checker is just 600 lines of code 600 lines of code in an extremely high level and very powerful language. Curious to see it implemented in Austral.