3 ms·The principal programming paradigms9 points by breck 9y agopjdorrell 9y agoThe diagram appears to be missing Dependently Typed programming languages.