pangyuehung@lemmy.mlM · 4 years agoContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.compangyuehung@lemmy.mlM · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM · 5 years agoKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-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 Idrisyoutu.beexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.bepangyuehung@lemmy.mlM · 5 years agomessage-square0fedilink