Idris JVM 0.7.0 Release (mmhelloworld.github.io)

5 points by mmhelloworld 2y ago ↗ HN

2 comments

[ 3.2 ms ] story [ 15.2 ms ] thread

fithisux 2y ago ↗

Very very important.

pestatije 2y ago ↗

Idris - functional programming language with dependent types