Az Idris programozási nyelv

Párhuzamosság


Jelenleg az Idrisben még nincs eszköz a párhuzamosság megvalósítására, viszont várható fejlődés a közeljövőben.