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. …to select among multiple interface implementations for the same type. For some simple examples see https://github.com/stefan-hoeck/idris2-tutorial
    comment by gwerbin · 2026-10-18 · in Types of types: Haskell's Kind system
  2. …must be used exactly once. And the IO monad ends up just being syntactic sugar around this. See https://github.com/stefan-hoeck/idris2-tutorial/blob/main/sr...
    comment by nerdponx · 2025-03-20 · in Austral: A Systems Language with Linear Types and Capabilities (2022)