3 ms·Ahem, http://en.wikipedia.org/wiki/Dependent_type http://en.wikipedia.org/wiki/Dependent_typeby wz1000 12y agoAhem, http://en.wikipedia.org/wiki/Dependent_type http://en.wikipedia.org/wiki/Dependent_type