4 ms·
I do not really understand what this means. Something like given y : yt and let x = y we can infer that x : yt?
by dependenttypes 6y ago
I 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.