Package Descriptions for Ubuntu

Browsing Russian translation

  1. Series disco
  2. Template “ddtp-ubuntu-universe”
  3. Russian (ru)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Russian guidelines.
482 → 491 of 125522 results First • • • Last
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
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one 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
490.
This package contains the hyperlinked library documentation.
 
Description
Этот пакет содержит гипертекстовую документацию для библиотеки.
Translated and reviewed by Aleksey Kabanov
Located in Package: agda-stdlib-doc
491.
Unix utility for tracking down wasted disk space
 
Summary
(no translation yet)
Located in Package: agedu
482 → 491 of 125522 results First • • • Last

This translation is managed by Russian Ubuntu Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: Aleksey Kabanov, Alexander Artamonov, Alexey Nedilko, Andrey Dedikov, Anton Reshin, Anton Sudak, Artem, Artem Slepnev, Auduf, Beatrix Kiddo, Dan Korostelev, Dmitry Tantsur, Dmitry Tumaikin, Dno, Dr Gregory House, Eugene Roskin, IvaSerge, Kljashtornij Nikolaj, Konstantin Tokarev, Maxym, Michael Vogt, Minakov Arthur, Oleg Koptev, Pavel, Pavel Kurashov, Pavlenty, Rodion R., Roman Semirook, Sergey "Shnatsel" Davidoff, Sergey Basalaev, Sergey Fukanchik, Sergey Sedov, Steve Langasek, Valentina Mukhamedzhanova, Vjaĉeslav Ivanov, Vladimir Prokopenko, mikhail2704, skybon, vofka, zmicier, Łukasz Zemczak, Даниил Рыжков.