Beta Phase:
Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45
English
Français
العربية
Deutsch
🏠
/
Computer Science
/
Programming Languages
/
Dependent Type Theory
Dependent Type Theory
Dependent type theory extends type systems by allowing types to depend on values, enabling more expressive and powerful type systems.