Few useful (or required) modules missing in DocApi
This is just a suggestion, but when browsing the API, few items are missing.
Namely: Loc
, Pp
(especially for the type Pp.formatted
), Printer
and/or Pretty
,
Numbers
(seems pretty BigInt
, ...
Another small issue with the Doc API: it is not clear (for me) how to populate a session with new tasks/theories/goals/etc. Is adding files the only way ? If so, can we rely on Pretty
for serializing a theory build from the API ? Or probably I just missed something around.