A functional calculator that is smarter than the one you have.