set-theoretic-types
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Fast64 & NIF & warning: incompatible types given to File.write!/2 |
![]() ![]() |
2 | 55 | June 26, 2025 |
Set Theoretic Type System topic |
![]() ![]() |
1 | 134 | January 24, 2025 |
How to prepare for new set-theoretic types syntax / signatures? |
![]() ![]() ![]() ![]() ![]() |
12 | 804 | October 1, 2024 |
How do I make the new type system work? |
![]() ![]() |
1 | 362 | July 12, 2024 |
Set-theoretic types and new syntax for conditionals |
![]() ![]() ![]() |
3 | 754 | April 4, 2024 |