Where is the best place to follow developments for the Set Theoretic Type System?
There does not seem to be an existing category or single topic here. Tags for the subject are also a little fragmented.
I see some articles on the elixir-lang.org blog. Perhaps there’s a Discord or something else entirely.
If it was a new category, it could contain links to relevant papers, specs, talks, resources, questions, edge cases, bugs, performance and future directions,
Perhaps the project could benefit from more unique branding that would make it easier to search and tag.
Of course, the abbreviation Elixir Type System (ETS) is already taken 
and STTS is awkward. So perhaps a name - one random suggestion might be ‘Tethys’, a Greek god and ancient ocean, which is an anagram of a subset of ‘set theory’.
, for example one of the big commits that enabled inference for functions: 
