Обсуждение:Idris (язык программирования)

В одной из версий этой страницы выборочно используется текст из источника, распространяемого под свободной лицензией (см. список авторов в истории правок).