ra’s Twitter Archive—№ 1,737

"In Joy, the meaning function is a homomorphism from the syntactic monoid onto the semantic monoid." Still my favorite en.wikipedia.org/wiki/Joy_(programming_language)