Browsing French translation

Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.

• Download translation
• Translation details

432 → 441 of 78723 results First • Previous • Next • Last
	432.	English:		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
Current French:				Ce paquet contient le mode de développement interactif emacs pour Agda. C'est le mode privilégié pour coder en Agda, il offre des fonctionnalités telles que le développement itératif, le raffinage, l'analyse de cas et bien d'autres.
				Translated by Thomas on 2011-04-20
				Reviewed by Pierre Slamich on 2011-11-13
				Located in Package: elpa-agda2-mode
	433.	English:		standard library for Agda
				Summary
Current French:				bibliothèque standard pour Agda
				Translated and reviewed by Pierre Slamich on 2011-11-13
				Located in Package: agda-stdlib
	434.	English:		This package contains the complete library.
				Description
Current French:				Ce paquet contient la bibliothèque complète.
				Translated and reviewed by Pierre Slamich on 2011-04-24
				Located in Package: agda-stdlib
	435.	English:		standard library for Agda — documentation
				Summary
Current French:				bibliothèque standard pour Agda - documentation
				Translated and reviewed by Pierre Slamich on 2013-05-19
				Located in Package: agda-stdlib-doc
	436.	English:		Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).
				Description
Current French:				Agda est un langage de programmation fonctionnel typé de façon dépendante. Il possède des familles inductives, qui ressemblent aux GADT de Haskell, mais qui peuvent être indexées par des valeurs et pas seulement des types. Il possède également des modules de paramétrisations, des opérateurs mixfix, les caractères Unicode et une interface Emacs interactive (le vérificateur de type peut aider au développement du code).
				Translated by Michael Vogt on 2012-04-17
				Located in Package: libghc-agda-doc Package: libghc-agda-dev Package: elpa-agda2-mode Package: agda-stdlib-doc Package: agda-stdlib Package: agda-bin Package: agda
	437.	English:		Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
				Description
Current French:				Agda est également un assistant de preuve[nbsp]: C'est un système interactif pour écrire et vérifier des preuves. Agda est basé sur la théorie des types intuitifs, un système fondamental pour les mathématiques constructives développé par le logicien suédois Per Martin-Löf. Il possède de nombreux points communs avec d'autres assistants de preuves basés sur des types dépendants comme Coq, Epigram et NuPRL.
				Translated by Michael Vogt on 2013-04-10
				Located in Package: libghc-agda-doc Package: libghc-agda-dev Package: elpa-agda2-mode Package: agda-stdlib-doc Package: agda-stdlib Package: agda-bin Package: agda
	438.	English:		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.
Current French:				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 on 2012-11-13
				Located in Package: agda-stdlib-doc Package: agda-stdlib
	439.	English:		This package contains the hyperlinked library documentation.
				Description
Current French:				Ce paquet contient la documentation des bibliothèques en hypertexte.
				Translated and reviewed by Pierre Slamich on 2012-01-01
				Located in Package: agda-stdlib-doc
	440.	English:		a Unix utility for tracking down wasted disk space
				Summary
Current French:				utilitaire Unix pour rechercher l'espace disque gaspillé
				Translated by Michael Vogt on 2012-04-17
				Located in Package: agedu
	441.	English:		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
Current French:				Unix fournit l'utilitaire standard «[nbsp]du[nbsp]», qui analyse le disque et indique les répertoires qui contiennent le plus de données. Ceci peut vous aider à trouver les choses à supprimer en priorité.
				Translated by Michael Vogt on 2012-04-17
				Located in Package: agedu

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

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

Contributors to this translation: 4E4F, AUGUSTIN BRONDINO, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, Julien Rouvier, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane Maniaci, Stéphane V, Sydney, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, afro luffy, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, calvin, clappier, clement62910, cocof35, constantin, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gfds, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.