Английская Википедия:Idris (programming language): история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

25 марта 2024

  • текущ.пред. 03:2703:27, 25 марта 2024‎ EducationBot обсуждение вклад‎ 10 658 байт +10 658‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Functional programming language created in 2007}} {{Primary sources|date=August 2019}} {{Infobox programming language | name = Idris | paradigm = Functional | designer = Edwin Brady | developer = | released = {{Start date and age|2007}}<ref>{{cite web |last=Brady |first=Edwin |date=2007-12-12 |title=Index of /~eb/darcs/Idris |url=http://w...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Idris_(programming_language)