sandbox for SML functional programming language