User contributions for 2A00:23C8:F506:3201:72B7:8B4F:6243:F1C5
Jump to navigation
Jump to search
26 May 2025
- 11:1511:15, 26 May 2025 diff hist +28,959 N Subtyping The whole point of coercive subtyping is to be explicit on the use of subtyping (via the coercion functions, as explained in the rest of the paragraph). This was likely a typo, but a very confusing one. current