0 a cashier
2 someone whose job is to check that goods are made correctly or that something is correct:
3 someone who works on a till (= a machine which records sales and in which money is kept) in a large store, such as a supermarket:
Misspellings are harder to correct for spelling checkers, since they can distort the intended word in a more dramatic way than mis-typings.
We see no reason, in principle, why this would not be possible, but clearly much depends on the proof checker involved.
If not, the type checker will issue type checking errors when the functor is analyzed.
These rules are used to generate errors automatically, and to test spelling checkers' error coverage and suggestion adequacy for the relevant error types.
A second improvement could be obtained by running a spell checker that proposes automatic corrections on the labels.
The implemented equivalence checker is an optimized version of the one presented above.
The checker does not attempt to parse sentences fully.
As in the real final verifier of our case study, this is a type-based checker.