par-lang. Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.