3 ms·Dependent types. You think I'm joking, but check back in ten years...by topynate 8y agoDependent types. You think I'm joking, but check back in ten years...