“Controlling complexity is the essence of computer programming.”
—Brian Kernigan
Mythryl is a syntactic variant of SML, consequently its core semantics is formally defined in The Definition of Standard ML.
In this chapter we provide a traditional informal account of Mythryl syntax and semantics more accessible to the contemporary practicing programmer.