2 ms·The diagram appears to be missing Dependently Typed programming languages.by pjdorrell 9y agoThe diagram appears to be missing Dependently Typed programming languages.