Idris 2 0.5.1 for JVM
40 views
Skip to first unread message
mmhell...@gmail.com
Jan 2, 2022, 1:54:32 PM1/2/22
to Idris Programming Language
Hello everyone,
I am happy to announce that Idris 2 JVM backend has finally caught up to Idris 2 latest version and now supports Idris 2 0.5.1. The release is here https://github.com/mmhelloworld/idris-jvm/releases/tag/v0.5.1. Any feedback is welcome.
Marimuthu Madasamy
Reply all
Reply to author
Forward
0 new messages