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

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

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

1 января 2024

  • текущ.пред. 20:2320:23, 1 января 2024EducationBot обсуждение вклад 13 720 байт +13 720 Новая страница: «{{Английская Википедия/Панель перехода}} {{short description|Functional programming language}} {{distinguish|text = the programming language Ada}} {{Infobox programming language | name = Agda | logo = Agda's official logo.svg | logo alt = A stylized chicken in black lines and dots, to the left of the name "Agda" in sans-serif test with the first letter slanted to the right. | paradigm = functi...»