Par programming language (exploring linear types, guaranteed progress, more)(youtube.com)2 points by DecoPerson 179 days ago | 1 comment