dombarko@lemmy.world to linuxmemes@lemmy.world · edit-23 days agoBe a multipotentialitelemmy.worldimagemessage-square41fedilinkarrow-up1763arrow-down17file-text
arrow-up1756arrow-down1imageBe a multipotentialitelemmy.worlddombarko@lemmy.world to linuxmemes@lemmy.world · edit-23 days agomessage-square41fedilinkfile-text
Idris is the obscure version of Haskell