This documentation explains the syntax and semantics of the MJr programming language. The documentation is not guaranteed to be up-to-date, as the language’s design is not fully stabilised, but it should be (mostly) accurate with respect to version 0.1 of the compiler.
See also the implementation notes.