n8 Doesn't follow you πΊπ¦You know, for entirely too long the type-design industry has had to deal with the programming-language people trying to steal the term "type" & co-opt it for their own sinister purposes. But now they're coming after "type family" as well?
#AssemblerIsGoodEnoughForAnyone
https://mathstodon.xyz/@Jose_A_Alonso/115093916771383897
JosΓ© A. Alonso (@[email protected])
#MULCIA: Postdoc positions on foundations of type classes and type families at the University of Iowa. https://tinyurl.com/2a4f4u8w #PostDoc #CompSci