3 ms·
While I know of Coq and Agda, I don't associate dependent types with them at all. I did screams dependent types to me. So it might be more famous in circles of
by swsieber 8y ago
While I know of Coq and Agda, I don't associate dependent types with them at all. I did screams dependent types to me. So it might be more famous in circles of the lay people.
- bjz_ 8y agoAh, that's very interesting! Yeah, perhaps Edwin Brady has been better at marketing it to a wider audience - which is not a bad thing at all.