Hacker GitHub

← All repos

stefan-hoeck/idris2-tutorial

View on GitHub ↗ ★ 240 Idris

4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2022-01-13 · latest 2026-10-18

Mentions per year 4 mentions · busiest year 2022 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Functional Programming in Idris 2
    story by nerdponx · 2024-01-13 · 1 comment
  2. ▲ 3
    Functional Programming in Idris 2
    story by todsacerdoti · 2022-01-13 · 0 comments