krasnoukhov/langgame — pull request #7 by andy-morris (2013-09-12 04:43:51+00:00)
Title: Add Standard ML and Idris

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