Comment by theresistor | Hacker News Reader

Top New Best Ask Show Jobs

Comment by theresistor | Hacker News Reader

What's the state of Idris2 at this point? I really enjoyed Type Driven Development with Idris a few years ago.

It's the current version.

https://www.idris-lang.org/idris-2-version-060-released.html

Idris 1 seems obsolete since years. No news about it for a long time.

https://www.idris-lang.org/category/news.html

Reply on news.ycombinator.com