Tiuku@sopuli.xyzEnglish · 17 days agoHow are exceptions handled in Idris?plus-squaremessage-squaremessage-square2linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1message-squareHow are exceptions handled in Idris?plus-squareTiuku@sopuli.xyzEnglish · 17 days agomessage-square2linkfedilink
pangyuehung@lemmy.mlM · 5 years agoContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.compangyuehung@lemmy.mlM · 5 years agomessage-square0linkfedilink
pangyuehung@lemmy.mlM · 5 years agoKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukpangyuehung@lemmy.mlM · 5 years agomessage-square0linkfedilink
pangyuehung@lemmy.mlM · 5 years agoEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.bepangyuehung@lemmy.mlM · 5 years agomessage-square0linkfedilink
