mintliner: february 4, 2018 — rewriting my semantics notes into more cheat sheet looking