mintliner - february 4, 2018 — rewriting my semantics notes into...