Lollipop: Programming language with support for linear typesgithub.com/m0ar1 pointadamnemecek9 years ago