An educational IDE