Package Descriptions for Ubuntu

Browsing French translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
337 of 54563 results First • • • Last
337.
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
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
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[nbsp]:
- Algèbre[nbsp]: Spécification et raisonnement sur les structures algébriques abstraites.
- Catégorie[nbsp]: Utiliser les expressions idiomatiques de la théorie des catégories pour structurer les programmes fonctionnels
- Coinduction[nbsp]: Prise en charge de la programmation coinductivement
- Données[nbsp]: Types de données et propriétés sur les types de données
- Étranger[nbsp]: relatif à l'interface de fonction étrangère
- Induction[nbsp]: Un cadre général pour l'induction
- IO[nbsp]: entrée/sortie des fonctions connexes
- Niveau[nbsp]: niveaux Univers
- Relations[nbsp]: Propriétés et preuves sur les relations
- Taille[nbsp]: Tailles utilisées par la taille du mécanisme
Translated and reviewed by gisele perreault
Located in Package: agda-stdlib-doc Package: agda-stdlib
337 of 54563 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.