I did a few lessons on Standard ML from it on Coursera. It's brilliant. Thank you.