@pangyuehungM to Idris • 4 years agoEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.beexternal-linkmessage-square0arrow-up11arrow-down10
arrow-up11arrow-down1external-linkEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.be@pangyuehungM to Idris • 4 years agomessage-square0