3 ms·Idris JVM 0.7.0 Release5 points by mmhelloworld 2y agofithisux 2y agoVery very important.pestatije 2y agoIdris - functional programming language with dependent types