Hacker News new | past | comments | ask | show | jobs | submit | from login

Idris 2 0.6.0 is now available for the JVM (github.com/mmhelloworld) 162 points by ska80 on Feb 27, 2023 | past | 64 comments Idris 2 – 0.2.1 release for the JVM (github.com/mmhelloworld) 4 points by ska80 on July 22, 2021 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: