Post #1823563

@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.