Par programming language (exploring linear types, guaranteed progress, more)youtube.com2 points·DecoPerson··1 commentOpen articleSaveView on HN