Special:EditPage/Idris (programming language) Source: en.wikipedia.org/wiki/Special:EditPage/Idris_(programming_language)