pangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agoEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.bevideomessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1videoEdwin Brady introducing Idris 2: Type-driven development of Idrisyoutu.bepangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agomessage-square0fedilink