|
|
347.
|
|
|
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
|
|
|
348.
|
|
|
the emacs mode for Agda
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-mode
|
|
|
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
|
