set-theoretic-types
Topic | Replies | Views | Activity | |
---|---|---|---|---|
How to prepare for new set-theoretic types syntax / signatures? | 12 | 526 | October 1, 2024 | |
How do I make the new type system work? | 1 | 278 | July 12, 2024 | |
Set-theoretic types and new syntax for conditionals | 3 | 723 | April 4, 2024 |