Hacker GitHub

← All repos

mmhelloworld/idris-jvm

View on GitHub ↗ ★ 483 Idris

Idris on the JVM

6 mentions on Hacker News by 5 people: 1 story, 5 comments · first 2017-06-16 · latest 2026-06-09

Mentions per year 6 mentions · busiest year 2023 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 162
    Idris 2 0.6.0 is now available for the JVM
    story by ska80 · 2023-02-27 · 64 comments