Type Theory

a5c-ai/babysitter/library/specializations/programming-languages/skills/type-theory

1.7k 0JavaScriptDev Tools
PlatformUniversal

Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping

Universal

All Skills