Az Idris jelenleg nem támogatja a sablonok használatát, és nincs is ilyen irányú törekvés. A sablonok kiválthatóak parametrikus polimorfizmussal és típusosztályok alkalmazásával.
Az Idris jelenleg nem támogatja a sablonok használatát, és nincs is ilyen irányú törekvés. A sablonok kiválthatóak parametrikus polimorfizmussal és típusosztályok alkalmazásával.