Resources

Notation

Sequences

Tables and Sets

SML

Style Guide

Tooling and More

There is a thorough article on Jake Zimmerman's blog (a former 210 TA) that details how to get the most out of Vim when working in SML.

Additionally, the 15-150 Tools page has very useful information regarding SML, $\mathrm\LaTeX$, UNIX, and text editors.