A moddable MOBA in Formality - View it on GitHub