Обсуждение:Idris (операционная система)

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