Axity. A statically typed language with a focus on clarity and correctness. Features a clean compiler pipeline and a deterministic interpreter