From paragraph 3, emphasis mine: > Myrddin is not a language designed to explore the forefront of type theory or compiler technology. It is not a language that

From paragraph 3, emphasis mine: > Myrddin is not a language designed to explore the forefront of type theory or compiler technology. It is not a language that is focused on guaranteeing perfect safety. It is satisfied to be a practical, small, fairly well defined, and easy to understand language for code that needs to be close to the hardware. Memory safety is also absent from the 'Major features' list.