4 ms·Yeah, how naive we were building operating systems without linear and dependent types. Savages.by thom 3y agoYeah, how naive we were building operating systems without linear and dependent types. Savages.