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
/
Small Type Theory
Small Type Theory
Small type theory is a foundational system within dependent type theory, focusing on simplicity and expressiveness for programming language design.