Introduction to Programming in ATS — Blankdot