Agda User Manual
Описание
Коротко и по делу о том, что важно знать про agda.
The latest PDF version of this manual can be downloaded from GitHub Actions page (instruction on how to find them). This is the manual for the Agda programming language, its type checking, compilation and editing system and related resources/tools. You can find a lot of useful resources on Agda Wiki site, like tutorials, introductions, publications and books. A description of the Agda language is given in chapter Language Reference. If you’re new to Agda, you should make use of the resources on Agda Wiki and chapter Getting Started instead of chapter Language Reference. Guidance on how the Agda editing and compilation system can be used can be found in chapter Tools.
Файл доступен для загрузки ниже.
Поделиться
Частые вопросы
Можно ли скачать «Agda User Manual» бесплатно?
Да, «Agda User Manual» доступна для бесплатного скачивания на нашем сайте в формате PDF. Ссылка на файл находится на этой странице.
В каком формате и какого размера файл?
Книга предоставляется в формате PDF, размер файла 1,5 МБ.
Кто автор и когда вышла книга?
автор — The Agda Team, издательство Independent publishing, год выпуска 2025, 315 страниц.
О чём книга «Agda User Manual»?
This is the manual for the Agda programming language, its type checking, compilation and editing system and related resources/tools.