Supplemental materials for the book entitled "Practical ML Programming with SML#" - View it on GitHub