Par – A language bringing linear logic into practice | Hacker News Reader