Re:Types Are Moving to the Right
by dentemple on Saturday March 16, 2019 @05:26PM
(#19410388)
I propose: "Left-type-ness" and "Right-type-ness"
[ Parent
| on HN ]
"little-typed" and "big-typed"
"strange typed" and "charm typed"