dombarko@lemmy.world to linuxmemes@lemmy.world · edit-22 days agoBe a multipotentialitelemmy.worldimagemessage-square37fedilinkarrow-up1711arrow-down17file-text
arrow-up1704arrow-down1imageBe a multipotentialitelemmy.worlddombarko@lemmy.world to linuxmemes@lemmy.world · edit-22 days agomessage-square37fedilinkfile-text
Idris is the obscure version of Haskell