Add Standard ML and Idris

http://www.standardml.org
http://www.idris-lang.org
Merge pull request #7 from andy-morris/master

Add Standard ML and Idris