Az Idris programozási nyelv

Objektum-orientált programozás


Az Idris nem ad eszközöket az objektum-orientált programozás támogatására.