Greg Price 0de1d03dd4 typing_status: Mark recipient array as allowing number subtypes. ... Concretely, we'll use this with a `UserId` type which is an "opaque type alias" of `number` -- it's secretly implemented as simply `number`, and it can be consumed by anything that wants a `number` (in other words, it's a subtype of `number`), but the fact that it secretly just is `number` is private to the module that defines the type. As far as the typing_status code is concerned, allowing this to be a subtype of `number` just means that the code doesn't ever try to inject new numbers of its own into the recipients arrays that it passes around.		2020-12-30 14:55:24 -08:00
..
emoji.js	docs: Fix more capitalization issues.	2020-10-23 11:46:55 -07:00
fenced_code.js	fenced_code: Escape code_language on output in wrapped_code.	2020-11-02 16:23:48 -08:00
typeahead.js	emoji: Rename :slight_smile: to 😄.	2020-07-21 16:49:54 -07:00
typing_status.js	js: Replace underscore with lodash and remove it from globals.	2020-07-26 16:12:06 -07:00
typing_status.js.flow	typing_status: Mark recipient array as allowing number subtypes.	2020-12-30 14:55:24 -08:00