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
20082026
-
…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 -
…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) -
▲ 3
Functional Programming in Idris 2story by nerdponx · 2024-01-13 · 1 comment
-
▲ 3
Functional Programming in Idris 2story by todsacerdoti · 2022-01-13 · 0 comments