|
|
349.
|
|
|
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
|
|
|
350.
|
|
|
a dependently typed programming language - standard library
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib
|
|
|
351.
|
|
|
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
|
|
|
352.
|
|
|
a dependently typed programming language - documentation
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
|
353.
|
|
|
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
|
|
|
354.
|
|
|
This package contains the hyperlinked library documentation.
|
|
|
Description
|
|
|
|
|
Este pacote contém a documentação da biblioteca de hiperlink.
|
|
Translated by
Paulo de Almeida
|
|
Reviewed by
André Gondim
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
|
355.
|
|
|
a Unix utility for tracking down wasted disk space
|
|
|
Summary
|
|
|
|
|
Um utilitário Unix para vasculhar por espaço de disco desperdiçado
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agedu
|
|
|
356.
|
|
|
Unix provides the standard du utility, which scans your disk and tells you which directories contain the largest amounts of data. That can help you narrow your search to the things most worth deleting.
|
|
|
Description
|
|
|
|
|
O Unix tem o utilitário padrão du, que varre o disco e diz que diretórios contém a maior quantidade de dados. Isto pode ajudar a direcionar sua busca por coisas que valem a pena serem apagadas.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agedu
|
|
|
357.
|
|
|
However, that only tells you what's big. What you really want to know is what's too big. By itself, du won't let you distinguish between data that's big because you're doing something that needs it to be big, and data that's big because you unpacked it once and forgot about it.
|
|
|
Description
|
|
|
|
|
Entretanto, ele apenas diz o que é grande. O que você realmente quer saber é o que é muito grande. Por si só, o du não diferencia entre o que é grande por que precisa ser grande e o que é grande por que você desempacotou e esqueceu do jeito que estava.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agedu
|
|
|
358.
|
|
|
To make this difference, agedu relies on the atime of the files.
|
|
|
Description
|
|
|
|
|
Para mostrar esta diferença, agedu se baseia no atime dos arquivos.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agedu
|
