Various parts of stdlib involve non-trivial lore to use properly -- and people without that lore complain (unjustly) about the design. But without documentation to point to, it is hard to deflect these complaints.
Certainly
- using the 'deeply nested' records of the
Algebra hierarchy,
- creating new Reasoning instances
deserve some air time.
We have, in a sense, some tutorials already: they are buried in the READMEs! But there does not seem to be much awareness of them. So the technical means of writing such tutorial(s) may well involve those READMEs. Already some table-of-contents page for the existing material would help.
[Meta note: maybe the enumeration above should be a task list, and could be extended by others as they encounter such items.]
Various parts of
stdlibinvolve non-trivial lore to use properly -- and people without that lore complain (unjustly) about the design. But without documentation to point to, it is hard to deflect these complaints.Certainly
Algebrahierarchy,deserve some air time.
We have, in a sense, some tutorials already: they are buried in the READMEs! But there does not seem to be much awareness of them. So the technical means of writing such tutorial(s) may well involve those READMEs. Already some table-of-contents page for the existing material would help.
[Meta note: maybe the enumeration above should be a task list, and could be extended by others as they encounter such items.]