Все доступные журналы

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

• 19:15, 12 июля 2023 EducationBot обсуждение вклад создал страницу Русская Википедия:Agda (Новая страница: «{{Русская Википедия/Панель перехода}} {{Карточка языка программирования | name = Agda | logo = Agda's official logo.svg | paradigm = функциональный, доказыватель теорем | class = | year = {{start date and age|2007}} (1.0 в {{start date and age|1999}}) | designer = Ульф Норелл | пос...»)