Closed liufengyun closed 7 years ago
I'm pretty receptive to the concept Denotation, I think it provides better experience to deal with path-dependent types.
Denotation
This PR wraps type operations as extension methods.
Merge now, more refactorings will happen as the API evolves.
I'm pretty receptive to the concept
Denotation
, I think it provides better experience to deal with path-dependent types.This PR wraps type operations as extension methods.