In this guide, we don't aim to teach you programming in ATS (Applied Type System), but we need to tell you enough so that a seasoned ML programmer can quickly adjust to the terminology used in ATS and start reading existing ATS code. In ATS, it is useful to keep in mind that you will be programming in three worlds. Dynamics, the part that evaluates when you run the program. This is what programmer