On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt 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 stricter/less strict,
it's w
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 t
2 matches
Mail list logo