mmhelloworld/idris-jvm
Idris on the JVM
162 best points · 64 comments · 1 Hacker News post · 483 GitHub stars · View on GitHub
Hacker News discussions
- Idris 2 0.6.0 is now available for the JVM (162 points, 64 comments, by ska80, 2023-02-27)
Idris on the JVM
162 best points · 64 comments · 1 Hacker News post · 483 GitHub stars · View on GitHub