Lollipop: Programming language with support for linear types | Heykuki News