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"
11kernetl = "kernel"
12extenaion = "extension"
13
14# strings that are not a typo:
15thm = "thm"
16
17# equations stuff
18ba = "ba"
19nd = "nd"
20
21# names
22Strang = "Strang"
23Pinter = "Pinter"
24Bootle = "Bootle"
25Groth = "Groth"