4 ms·Finding the Minimum Set of Languages to Learn All Programming Paradigms8 points by bencollier49 13y agoyetfeo 13y agoTry adding a language with proof solving capabilities. ATS, Agda, Idris, Coq spring to mind.