1Par programming language (exploring linear types, guaranteed progress, more) (opens in new tab)(youtube.com)2DecoPerson4mo ago1
