aboutsummaryrefslogtreecommitdiff
path: root/vim/.vim/spell/en.utf-8.add
blob: c517ec6d3fd06c3316bcf3e3d955b0412ebba581 (plain) (blame)
1
2
3
4
5
6
7
8
unary
arity
Herbrand
axiomatisation
unsatisfiable
internalisable
expressivity
subgraphs