Comment by LightMachine

the entire language is based on linear types! it says so in the GUIDE yes