Add Standard ML and Idris

http://www.standardml.org
http://www.idris-lang.org