ucsd-progsys/liquid-fixpoint — pull request #13 by nikivazou (2013-05-21 01:49:01+00:00)
Title: use edit distance to suggest alternatives on unbound symbols

e.g.
```
Unbound Symbol getFup
Perhaps you meant: getUp
```