Recall that we added `@history[...]` to `scribble/manual` so we can
document the addition of new modules, bindings, arguments, command-line
flags, etc.
It's easy to forget to add a note, and we have no good way of checking
that `@history[]` notes have been added where needed. On the plus side,
I
On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Similarly, I don't know how much it makes sense to document refinements
to types in `typed/...` libraries (and I'll leave that question to the
TR implementers).
I think we make a design choice to make a type
2 matches
Mail list logo