Translations by Roms
Roms has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
| 1 → 3 of 3 results | First • Previous • Next • Last |
| 238. |
This package contains a couple of things that might be of use:
adgnumailconverter
A tool that will merge your GNUMail address book into the Addresses
database.
|
|
| 2012-09-29 |
Ce paquet contient un certain nombre de choses pouvant être utile:
adgnumailconverter
Un outil qui va fusionner votre carnet d'adresse GNUMail dans la base de données
des adresses.
|
|
| 362. |
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
|
|
| 2012-09-29 |
La bibliothèque standard Agda contient des modules pour des nombreuses structures de données communes et des modèles de démonstration. Modules fournis:
-Algèbre: Spécification et raisonnement sur les structures algébriques abstraites.
- Catégorie: Utiliser les expressions idiomatiques de la théorie des catégories pour structurer les programmes fonctionnels
- Coinduction: Prise en charge de la programmation coindutivement
- Données: Types de données et propriétés sur les types de données
-Affaires étrangères: relatif à l'interface de fonction étrangère
- Induction: Un cadre général pour l'induction
- IO: entrée / sortie des fonctions connexes
- Niveau: niveaux Univers
- Relations: Propriétés et preuves sur les relations
- Taille: Tailles utilisées par la taille du mécanisme
|
|
| 403. |
For the original Apple AirPort and the Lucent RG-1000 base stations only:
- airport-config: base station configurator
- airport-linkmon: wireless link monitor, gives information on the wireless
link quality between the base station and the associated hosts
|
|
| 2012-09-29 |
Pour les stations d'accueils originales Apple AirPort and le Lucen RG-1000 seulement:
- airport-config: configurateur de station d’accueil
- airport-linkmon: moniteur de liaison sans fil, donne des informations sur la qualité de la liaison
du réseau sans fil entre la station d'accueil et les hôtes associés
|
|
