Closed byorgey closed 7 months ago
Closes #180. For both type variables and term variables, when an unbound variable is encountered we now suggest any in-scope variables or constants which are an edit distance of 1 away (i.e. one transposition, insertion, deletion, or replacement).
Closes #180. For both type variables and term variables, when an unbound variable is encountered we now suggest any in-scope variables or constants which are an edit distance of 1 away (i.e. one transposition, insertion, deletion, or replacement).