User contributions for 2A00:23C8:F506:3201:72B7:8B4F:6243:F1C5

Results for 2A00:23C8:F506:3201:72B7:8B4F:6243:F1C5 talk block log logs
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

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