关于 typst 包 ega-numbering

Typst 包 ega-numbering 已经发布，请参看 Typst Universe。该包实现了 Éléments de géométrie algébrique (EGA) 风格的标号：将文中每一个有独立意义的段落组进行编号，无论是定理、定义，还是叙述性或解释性的文段，且一个编号不限于一段。该编号风格在法国数学家中最常用，例如 Max Karoubi 的 K-Theory (An Introduction)。这种编号风格非常适合撰写逻辑连贯而复杂的笔记，因为世界往往不以线性或树状的逻辑组织，每个独立的逻辑模块和其他模块之间可能有复杂的相互作用。文档固然受线性结构的约束，但仍然可以通过原子化、可索引的逻辑模块组织起复杂的结构。这种组织与 Zettelkasten 笔记的思想有异曲同工之妙。