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-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 · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM · 4 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 · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM · 4 years agoEdwin Brady introducing Idris 2: Type-driven development of Idrisplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkEdwin Brady introducing Idris 2: Type-driven development of Idrisplus-squareyoutu.bepangyuehung@lemmy.mlM · 4 years agomessage-square0fedilink
