1 skills · 1 free · cap $19/skill or unlock all for $99
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping