IDE for Nimrod language