The example was hilarious to read, and definitely a great feat to implement such a complex algorithm. I wonder why was Erlang picked and whether it will be offered as a service.<p>Also how does it know how to replace "correct" by "misspelled"? is it maybe a list of synonims with stadistic correlation based on the semantic domain?