3 points | by bpierre 11 hours ago
1 comments
This is way more important: https://tsz.dev/sound-mode/
But I want them to make TS fully sound, which they say they’re not currently doing. Maybe one day?
This is way more important: https://tsz.dev/sound-mode/
But I want them to make TS fully sound, which they say they’re not currently doing. Maybe one day?