8/16/2025
•
EN
Beyond Booleans
Explores the limitations of the Boolean type in programming and proposes a more expressive type system for logical expressions.