3 ms·Wait no, it's close but not as strong as dependent types. I was thinking of Agda.by Jeff_Brown 5y agoWait no, it's close but not as strong as dependent types. I was thinking of Agda.