Post #1823562
2026-04-01 01:13 UTC
@pigworker ☺️ I’m so glad you’re here
Replies (1)
-
@robrix@types.pl 2026-04-01 01:16
@pigworker I’m doing a lot of type inference lately and I keep thinking of you, and then, I wonder what I would be able to do if I was allowed to make users write down what they mean as types instead? I hope to explore that when we’re further along.