1# usage:
 2# install `typos`: https://github.com/crate-ci/typos
 3# run: typos -c .github/workflows/typos.toml
 4
 5[default.extend-words]
 6ieal = "ideal"
 7iddeal = "ideal"
 8iddeals = "ideals"
 9allpha = "alpha"
10fieldd = "field"
11
12# strings that are not a typo:
13thm = "thm"
14
15# equations stuff
16ba = "ba"
17nd = "nd"
18
19# names
20Strang = "Strang"
21Pinter = "Pinter"
22Bootle = "Bootle"
23Groth = "Groth"