Idris JVM 0.7.0 Release (mmhelloworld.github.io)

5 points by mmhelloworld 1y ago ↗ HN

2 comments

[ 3.2 ms ] story [ 17.8 ms ] thread

fithisux 1y ago ↗

Very very important.

pestatije 1y ago ↗

Idris - functional programming language with dependent types