3 ms·
WUFFS calls them that because the formal name for the concept is a Refinement Type[1]. [1] https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.o
by SAI_Peregrinus 5y ago
WUFFS calls them that because the formal name for the concept is a Refinement Type[1].
[1] https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type