Idris JVM 0.7.0 Release (mmhelloworld.github.io)

5 points by mmhelloworld 2y ago ↗ HN

2 comments

[ 4.9 ms ] story [ 17.1 ms ] thread

fithisux 2y ago ↗

Very very important.

pestatije 2y ago ↗

Idris - functional programming language with dependent types