/subtyping.txt
Created Oct 9, 2017
Subtyping
| There was a programmer from Skegness, | |
| Who had a language that was a bit of a mess, | |
| They implemented subtyping, and no longer was there griping, | |
| All while keeping safety, preservation and progress |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment