4 ms·> Rob Kernighan Is this a typo or a proposed Bourbakism?by morelisp 4y ago> Rob Kernighan Is this a typo or a proposed Bourbakism?