First 2 homework assignments

more to come! Simple SML things, and LaTeX'd pdf documents for proofs
and such