Victor Sannier

Increase space after headings

2

When using Typst, I consistently find myself manually increasing the spacing after headings. This contrasts with other software like LibreOffice and especially LaTeX, which provide significantly more space by default....

Add a function to split text at the first occurrence of a character

4

I was surprised not to find a function in the library to split a text on the first match of a character/text/predicate, with the matched part discarded. This is not...

> [Metamath](https://us.metamath.org/) is a simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs. ## Language name Metamath ## URL of example repository https://github.com/metamath/set.mm ## URL...