Tiuku@sopuli.xyzEnglish · 2 months agoHow are exceptions handled in Idris?plus-squaremessage-squaremessage-square2fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1message-squareHow are exceptions handled in Idris?plus-squareTiuku@sopuli.xyzEnglish · 2 months agomessage-square2fedilink
pangyuehung@lemmy.mlM · 5 years agoContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-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-square0fedilink
pangyuehung@lemmy.mlM · 5 years agoKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukpangyuehung@lemmy.mlM · 5 years agomessage-square0fedilink
pangyuehung@lemmy.mlM · 5 years agoEdwin Brady introducing Idris 2: Type-driven development of Idrisplus-squareyoutu.bevideomessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1videoEdwin Brady introducing Idris 2: Type-driven development of Idrisplus-squareyoutu.bepangyuehung@lemmy.mlM · 5 years agomessage-square0fedilink
