A playground for the Idris programming language