pangyuehungM · 4 years agoContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.compangyuehungM · 4 years agomessage-square0fedilink
pangyuehungM · 4 years agoKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukexternal-linkmessage-square1fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukpangyuehungM · 4 years agomessage-square1fedilink
pangyuehungM · 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.bepangyuehungM · 4 years agomessage-square0fedilink
