These toy languages are not practical for general programming. Their purpose is to test and validate the formalized foundations of Dawn. Once we build up funct

These toy languages are not practical for general programming. Their purpose is to test and validate the formalized foundations of Dawn. Once we build up functionality nearing that of Dawn, it should be more feasible to provide practical examples that demonstrate the value of the language.