Par programming language (exploring linear types, guaranteed progress, more)youtube.com 2DecoPerson9mo1 comment