Update 2013-05-15-from-functions-to-term-rewriting-and-back.md

Update 2013-05-15-from-functions-to-term-rewriting-and-back.md #182