5 ms·Awesome, I hadn’t come across Luca Cardelli’s work before, I’ll check this out! Thank you :)by hsikka 8y agoAwesome, I hadn’t come across Luca Cardelli’s work before, I’ll check this out! Thank you :)