Playground for the Mercury programming language