4 ms·Idris - functional programming language with dependent typesby pestatije 2y agoIdris - functional programming language with dependent types