Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.