|
480.
|
|
|
Afuse is a FUSE based filesystem which implements filesystem automounting functionality similar to Linux's autofs.
|
|
|
Description
|
|
|
|
Afuse -- это файловая система, основанная на FUSE, предоставляет возможность автомонтирования файловых систем подобно как это делает Linux autofs.
|
|
Translated by
Michael Vogt
|
|
Reviewed by
Dr Gregory House
|
|
|
|
Located in
Package: afuse
|
|
481.
|
|
|
This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.
|
|
|
Summary
|
|
|
|
Метапакет, предоставляющий Agda-режим для Emacs, исполняемые файлы, стандартные библиотеки и документацию.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda
|
|
482.
|
|
|
commandline interface to Agda
|
|
|
Summary
|
|
|
|
интерфейс командной строки для Agda
|
|
Translated by
Sergey Basalaev
|
|
|
|
Located in
Package: agda-bin
|
|
483.
|
|
|
This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
|
|
|
Description
|
|
|
|
В этот пакет включены консольные программы для проверки и компиляции Agda программ. Программа также может генерировать гиперссылки и HTML файлы из исходных кодов Agda.
|
|
Translated by
IvaSerge
|
|
Reviewed by
Dmitry Tumaikin
|
|
|
|
Located in
Package: agda-bin
|
|
484.
|
|
|
transitional dummy package for elpa-agda2-mode
|
|
|
Summary
|
|
|
|
пустой переходный пакет для elpa-agra2-mode
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-mode
|
|
485.
|
|
|
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
|
|
|
Description
|
|
|
|
agda-mode добавлен в архив ELPA. См. пакет elpa-agda2-mode. Это переходный пакет и его можно безопасно удалить.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-mode
|
|
486.
|
|
|
standard library for Agda
|
|
|
Summary
|
|
|
|
библиотека стандартных программ для Agda
|
|
Translated by
Sergey Basalaev
|
|
|
|
Located in
Package: agda-stdlib
|
|
487.
|
|
|
This package contains the complete library.
|
|
|
Description
|
|
|
|
Этот пакет содержит полную библиотеку.
|
|
Translated and reviewed by
Даниил Рыжков
|
|
|
|
Located in
Package: agda-stdlib
|
|
488.
|
|
|
standard library for Agda — documentation
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
489.
|
|
|
The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include:
- Algebra: Specifying and reasoning about abstract algebraic structures
- Category: Using idioms from category theory to structure functional programs
- Coinduction: Support for programming coindutively
- Data: Data types and properties about data types
- Foreign: Relating to the foreign function interface
- Induction: A general framework for induction
- IO: Input/output related functions
- Level: Universe levels
- Relations: Properties of and proofs about relations
- Size: Sizes used by the sized types mechanism
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib-doc
Package: agda-stdlib
|