3 ms·
> You just take the type from the right hand side and then put it on the left hand side? That's what they mean by local variable inference
by jhanschoo 6y ago
> You just take the type from the right hand side and then put it on the left hand side?
That's what they mean by local variable inference
- dependenttypes 6y agoI do not really understand what this means. Something like given y : yt and let x = y we can infer that x : yt?
- jhanschoo 6y agoYeah.