Intro to Par, an experimental language with structural linear types and duality
faiface.github.io