That is a long winded way to describe dependent types.
I thought it was quite approachable and took an angle that helped reinforce my (limited) understanding of dependent types.
That is a long winded way to describe dependent types.
I thought it was quite approachable and took an angle that helped reinforce my (limited) understanding of dependent types.