Rågstad, W. The mini programming language [Computer software]. https://github.com/mini-lang/mini-lang