dombarko@lemmy.world to linuxmemes@lemmy.world · edit-25 days agoBe a multipotentialitelemmy.worldimagemessage-square42fedilinkarrow-up1775arrow-down17file-text
arrow-up1768arrow-down1imageBe a multipotentialitelemmy.worlddombarko@lemmy.world to linuxmemes@lemmy.world · edit-25 days agomessage-square42fedilinkfile-text
Idris is the obscure version of Haskell