Linear Logic: Par, a Friendly Explanation | Dark Hacker News