Par programming language (exploring linear types, guaranteed progress, more)(youtube.com)
youtube.com
Par programming language (exploring linear types, guaranteed progress, more)
https://www.youtube.com/watch?v=tpICs7uG3n8
https://www.youtube.com/watch?v=tpICs7uG3n8
https://faiface.github.io/par-lang/introduction.html