|
328.
|
|
|
colorscheme designer for the GNOME desktop
|
|
|
Summary
|
|
|
|
criador de esquemas de cores para a área de trabalho GNOME
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agave
|
|
329.
|
|
|
Agave is a very simple application for the GNOME desktop that allows you to generate a variety of colorschemes from a single starting color.
|
|
|
Description
|
|
|
|
Agave é uma aplicação muito simples para a área de trabalho GNOME que permite a você gerar uma variedade de esquemas de cores a partir de uma única cor inicial.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agave
|
|
330.
|
|
|
Commandline interface to Agda
|
|
|
Summary
|
|
|
|
interface em linha de comando para Agda
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-bin
|
|
331.
|
|
|
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
|
|
|
|
Este pacote fornece um programa em linha de comando para verificação de tipos e compilação de programas Agda. O programa também pode gerar arquivos HTML com realce e hiperlinks a partir de fontes Agda.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-bin
|
|
332.
|
|
|
the emacs mode for Agda
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-mode
|
|
333.
|
|
|
This package contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
|
|
|
Description
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: elpa-agda2-mode
|
|
334.
|
|
|
a dependently typed programming language - standard library
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib
|
|
335.
|
|
|
This package contains the complete library.
|
|
|
Description
|
|
|
|
Este pacote contém a biblioteca completa.
|
|
Translated by
Paulo de Almeida
|
|
Reviewed by
André Gondim
|
|
|
|
Located in
Package: agda-stdlib
|
|
336.
|
|
|
a dependently typed programming language - documentation
|
|
|
Summary
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
337.
|
|
|
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
|