DrSchool
Learn coding, fast.
EN
AR
BN
CS
DE
EL
Search
🎨
☾
We use cookies to remember language and improve experience.
Accept
Learn more
IDRIS
2 items
IDRIS
Idris: Introduction
Start learning Idris with a quick overview and Hello World.
IDRIS
Idris: Syntax
Idris syntax starter + common patterns.