Translations by Roms

Roms has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.

13 of 3 results
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.
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.
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
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
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
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