Sébastien Boisgérault

Hi @TakodaS! > I think deleting elements while passing through a list isn't a good idea. Exactly. That's the same issue for Python lists and Pandoc documents. > Maybe it...

On peut soit prendre la preuve (classique) de @lasellem (qui est sauf erreur celle qui marche pour montrer que lim inf de mesurable est mesurable), soit pour modifier le moins...

Mmm désolé, je voulais dire que j'ai des doubles barres partout (mais pas de simple barre, ni de triple barre). Le formattage en markdown à bouffé mes slashes.

donc \| \cdot \| serait la notation générique, à customiser avec des indices et/ou exposants quand nécessaire.

To begin with, I probably would have to create a few typical instance of type hints relevant for the description of pandoc elements and then see how these type hints...

ATM I find the type hints hard to introspect. What I need i basically to be able to identify the components of things like `tuple[Meta, list[Block]]` and `Union[Str, Space, ...]`....

A minimally invasive idea that could be worth considering: what would it take to have (optionally?) the constructors of all pandoc types check the type of their arguments ? No...

Nota: probably hard to use external validation tools and have typedefs by checked unless they are inlined into the type signature (?). Mmm unless I have already overriden isinstance for...

Also check for the list of (writer) formats that are considered binary and update our shortlist.

Il y a un "grand débat" ;) sur le positionnement "cas général" vs cas à densité ; je crois que Thomas a essayé de convertir en partie le cas général...