On Tue, 9 May 2017, John H Palmieri wrote:
Sage's developer's guide says: "Every function must have a docstring" which must include "An EXAMPLES block for examples. This is not optional."
Could we have that as a formal requirement, but allow something like
EXAMPLES::
sage: pass # Actually tested in foobar()
? Then we could automatically check the code and see that every function
has the examples-block.
-- Jori Mäntysalo
