📅 2026-04-14
Pronunciation of the day: Idris
Idris is pronounced "id riss" · /ˈɪdrɪs/ · product
"ID-riss" — dependently-typed lang.
For the full source citation, alternate readings, and CLI usage, see the canonical page → Idris.
📅 2026-04-14
Idris is pronounced "id riss" · /ˈɪdrɪs/ · product
"ID-riss" — dependently-typed lang.
For the full source citation, alternate readings, and CLI usage, see the canonical page → Idris.