3 ms·
What's the state of Idris2 at this point? I really enjoyed Type Driven Development with Idris a few years ago.
by theresistor 4y ago
What's the state of Idris2 at this point? I really enjoyed Type Driven Development with Idris a few years ago.
- still_grokking 4y agoIt's the current version. https://www.idris-lang.org/idris-2-version-060-released.html 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 https://www.idris-lang.org/category/news.html