type__error’s avatartype__error’s Twitter Archive—№ 1,084

  1. Also never realised I actually remembered anything from formal semantics