Обсуждение:Agda
Проект «Информационные технологии» (уровень IV, важность для проекта низкая)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Начать обсуждение страницы «Agda»
На страницах обсуждения люди обсуждают, как улучшить содержимое Википедии. Вы можете использовать эту страницу, чтобы обсудить с другими участниками, какие улучшения внести на страницу «Agda».
