|
|
547.
|
|
|
standard library for Agda — documentation
|
|
|
Summary
|
|
|
|
|
biblioteca estándar para Agda — documentación
|
|
Translated and reviewed by
Monkey
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
|
548.
|
|
|
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.
|
|
|
|
|
La biblioteca Agda contiene módulos usados para diversas estructuras y plantillas. Los módulos proporcionados incluyen:
- Algebra: Especifica y razonamiento sobre estructuras algebraicas abstractas
- Categoria: Usa expresiones de la teoría categórica para estructurar programas funcionales
- Conductividad: Soporte para la programación conductiva
- Datos: Tipos de datos y propiedades
- Externalidad: Relativo a la interfaz de externalidad
- Inducción: Un entorno de trabajo general para inducción
- IO: Entrada/Salida (Input/output) de determinadas funciones
- Niveles: Niveles universales
- Relaciones: Propiedades sobre relaciones
- Tamaño: Usado por mecanismos de tamaño |
|
Translated by
Paco Molinero
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
Package: agda-stdlib-doc
Package: agda-stdlib
|
|
|
549.
|
|
|
This package contains the hyperlinked library documentation.
|
|
|
Description
|
|
|
|
|
Este paquete contiene la documentación de la biblioteca hipervinculada
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: agda-stdlib-doc
|
|
|
550.
|
|
|
Unix utility for tracking down wasted disk space
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agedu
|
|
|
551.
|
|
|
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
|
|
|
|
|
Unix proporciona la utilidad estándar du, que examina su disco y le informa que directorios contienen la cantidad más grande de datos. Le puede facilitar la búsqueda de los datos borrados de mayor importancia.
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: agedu
|
|
|
552.
|
|
|
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
|
|
|
|
|
Sin embargo, esto solo menciona lo grueso. Lo que realmente desea saber es lo muy importante. Por si mismo, du no le permitirá distinguir la verdadera importancia porque necesitará hacer algo para darle ese peso de importancia a los datos, a esos datos importantes que una vez abrió y se olvidó de ello.
|
|
Translated by
Paco Molinero
|
|
|
|
Located in
Package: agedu
|
|
|
553.
|
|
|
To make this difference, agedu relies on the atime of the files.
|
|
|
Description
|
|
|
|
|
Para hacer esta diferencia, agedu se basa en el momento de creación de los archivos.
|
|
Translated by
mariomx08
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
Package: agedu
|
|
|
554.
|
|
|
Calendar manager for GNUstep
|
|
|
Summary
|
|
|
|
|
Gestor de calendario para GNUstep
|
|
Translated by
Paco Molinero
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
Package: agenda.app
|
|
|
555.
|
|
|
SimpleAgenda is a an application to manage your calendars. It handles both local and remote (webcal) calendars. Calendars can be shared with other programs like Evolution, Dates, IceApe Calendar and others. The following features are available:
|
|
|
Description
|
|
|
|
|
SimpleAgenda es una aplicación para gestionar calendarios. Maneja calendarios locales y remotos (webcal). Los calendarios se pueden compartir con programas como Evolution, Dates, IceApe Calendar y otros. Las siguientes características están disponibles:
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agenda.app
|
|
|
556.
|
|
|
* Multiple agendas.
* Handle both events and tasks.
* Support for local and remote (ftp, http) iCalendar agendas.
* Monthly calendar, day view, summary and tasks view.
* Create, resize and move appointments easily.
* Export individual elements as files and to the pasteboard.
* Import .ics files.
* Simple text search.
* Alarms with multiple backends.
|
|
|
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: agenda.app
|
