Live data from Hacker News

Idris JVM 0.7.0 Release

mmhelloworld.github.io

Post reply on HN

Print view View original

1–3 of 3 posts

Idris JVM 0.7.0 Release

#1

Post by mmhelloworld » Wed, Jul 17, 2024, 6:37 AM UTC

Idris JVM 0.7.0 Release
mmhelloworld.github.io

Re: Idris JVM 0.7.0 Release

#2

Post by fithisux » Wed, Jul 17, 2024, 6:49 AM UTC

Very very important.

Re: Idris JVM 0.7.0 Release

#3

Post by pestatije » Wed, Jul 17, 2024, 8:14 AM UTC

Idris - functional programming language with dependent types

Post reply on HN