Друзья,
мы тут исследуем проблемы, с которыми сталкиваются пользователи электронных книг.
Будем вам благодарны за ваши ответы.
Опрос займёт не более 5 минут.
Пройти опрос
-
1C
-
Agda
-
Agile/Scrum
-
Alef
-
APL
-
Assembler
-
AWK
-
Basic
-
Beta Programming Language
-
Big Data/DataScience
-
C
-
C#
-
C++
-
Cobol
-
Crystal
-
CSS
-
D
-
Dart
-
DataBase (SQL)
-
Delphi
-
F#
-
Flutter
-
Fortran
-
GameDev
-
Git
-
Go (Golang)
-
GPT/AI/ИИ
-
Hacking and Security
-
HTML
-
Java
-
JavaScript (JS)
-
Kotlin
-
Machine Learning (ML)
-
Natural language processing (NLP)
-
.NET (.NET Core)
-
Pascal
-
PHP
-
Python
-
R
-
Ruby
-
Rust
-
Scratch
-
Swift
-
UML
-
UX/UI
-
Visual Basic
-
XML
-
АСУ
-
Проектирование/System Design
-
Сети/Network
-
Схемотехника/электронные схемы
-
1C
-
Agda
-
Agile/Scrum
-
Alef
-
APL
-
Assembler
-
AWK
-
Basic
-
Beta Programming Language
-
Big Data/DataScience
-
C
-
C#
-
C++
-
Cobol
-
Crystal
-
CSS
-
D
-
Dart
-
DataBase (SQL)
-
Delphi
-
F#
-
Flutter
-
Fortran
-
GameDev
-
Git
-
Go (Golang)
-
GPT/AI/ИИ
-
Hacking and Security
-
HTML
-
Java
-
JavaScript (JS)
-
Kotlin
-
Machine Learning (ML)
-
Natural language processing (NLP)
-
.NET (.NET Core)
-
Pascal
-
PHP
-
Python
-
R
-
Ruby
-
Rust
-
Scratch
-
Swift
-
UML
-
UX/UI
-
Visual Basic
-
XML
-
АСУ
-
Проектирование/System Design
-
Сети/Network
-
Схемотехника/электронные схемы
Меню
Друзья,
мы тут исследуем проблемы, с которыми сталкиваются пользователи электронных книг.
Будем вам благодарны за ваши ответы.
Опрос займёт не более 5 минут.
Пройти опрос
Книги по Agda
This is the manual for the Agda programming language, its type checking, compilation and editing system and related resources/tools. The latest PDF version of this manual can be downloaded from GitHub Actions page (instruction on how to find them). You can find a lot of useful resources on Agda Wiki site, like tutorials, introductions, publications and books. If you’re new to Agda, you shoul...
Agda Английский PDF