Английская Википедия:Algebraic Logic Functional programming language: история изменений

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

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

28 января 2024

  • текущ.пред. 18:0518:05, 28 января 2024EducationBot обсуждение вклад 6001 байт +6001 Новая страница: «{{Английская Википедия/Панель перехода}} {{For|the proof assistant|ALF (theorem prover)}} {{For|the action language for foundational UML|FUML}} {{Infobox programming language |name = ALF |logo = |paradigm = multi-paradigm: logic, functional |year = |designer = |developer = |latest release version = |latest release date = |typing = |i...»