Yeah, ncatlab is cool, but when the article on Inductive Type starts with "In terms of categorical semantics, an inductive type is a type whose interpretation is given by an initial algebra of an endofunctor", it's not meant for people building languages
This Tweet is from a suspended account. Learn more
