Topics tagged set-theoretic-types

Topic	Replies	Views	Activity
Set Theoretic Type System topic Chat / Discussions static-types , types , static-typing , set-theoretic-types	1	108	January 24, 2025
How to prepare for new set-theoretic types syntax / signatures? Questions / Help static-types , types , set-theoretic-types	12	696	October 1, 2024
How do I make the new type system work? Questions / Help compiler , set-theoretic-types	1	326	July 12, 2024
Set-theoretic types and new syntax for conditionals Chat / Discussions set-theoretic-types	3	740	April 4, 2024