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