35 ms·You don't need a PhD to use dependent types. I don't have a Bachelor's.by DanWaterworth 10y agoYou don't need a PhD to use dependent types. I don't have a Bachelor's.