Yes, you’re right. It’s often but not always the case that type checking and com...

		eyelidlessness on Dec 22, 2020 \| parent \| context \| favorite \| on: Write code. Not too much. Mostly functions. Yes, you’re right. It’s often but not always the case that type checking and compilation are part of the same tool and flow. Thanks for adding that.