Closed jacobneu closed 2 months ago
I'd prefer if we introduce them when we need them. I agree that we should quickly explain functions, depdendent functions (and pairs) etc in the Intro but in general I prefer to introduce concepts by lazy evaluation.
I'd prefer if we introduce them when we need them. I agree that we should quickly explain functions, depdendent functions (and pairs) etc in the Intro but in general I prefer to introduce concepts by lazy evaluation.