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

Ah, thanks, was looking at the readme instead of the guide