3 ms·

Thank you for the kind words! >So, I’m just going to read the compiler source and then get a hold of you later. Luckily, the entire linear type checker is jus

Thank you for the kind words! >So, I’m just going to read the compiler source and then get a hold of you later. Luckily, the entire linear type checker is just 600 lines of code: https://github.com/austral/austral/blob/master/lib/LinearityCheck.ml https://github.com/austral/austral/blob/master/lib/Linearity...

still_grokking 4y ago
> 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.