>>> Due to different representations, sma...
# announcementsa
apatrida
10/16/2015, 5:12 PM>> Due to different representations, smaller types are not subtypes of bigger ones. If they were, we would have troubles of the following sort:
apatrida
10/16/2015, 5:12 PM>> Due to different representations, smaller types are not subtypes of bigger ones. If they were, we would have troubles of the following sort: