Browsing French translation

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

• Download translation
• Translation details

338 → 347 of 57897 results First • Previous • Next • Last
	338.	English:		the emacs mode for Agda
				Summary
Current French:				le mode emacs pour Agda
				Translated by Jerod212 on 2010-01-31
				Reviewed by Pierre Slamich on 2010-03-06
				Located in Package: agda-mode
	339.	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
	340.	English:		a dependently typed programming language - standard library
				Summary
Current French:				un langage de programmation de type dépendant - bibliothèque standard
				Translated by gisele perreault on 2012-12-16
				Reviewed by Sylvie Gallet on 2012-12-17
				Located in Package: agda-stdlib
	341.	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
	342.	English:		a dependently typed programming language - documentation
				Summary
Current French:				un langage de programmation de type dépendant - documentation
				Translated by gisele perreault on 2012-12-16
				Reviewed by Sylvie Gallet on 2012-12-17
				Located in Package: agda-stdlib-doc
	343.	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
	344.	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
	345.	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
	346.	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
	347.	English:		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
Current French:				Cependant, il vous dit seulement ce qui est gros, mais il est plus intéressant de savoir ce qui est trop gros. «[nbsp]du[nbsp]» ne distinguera pas les données qui sont grosses parce qu'elles ont besoin de l'être de celles qui sont grosses parce qu'elles ont été mises là puis oubliées.
				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 V, Alekso42, Alexandre Franke, Anne-Rose Gratadour, Anne017, Anthony Noël, Antoine Jouve, Apophis666, Aquilon, Arnaud Assad, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, AsCi, Ash26, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Bernos Guillaume, Bertrand Croq, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno, Bruno Avet, Béranger Dumont, Cajuteq, Canbakan Axel, Carcasse, CedS, Charlie Merland, Christophe Eschbach, Christophe Painchaud, Citron28, Clarence Snickers, CoudCoud, Cyrille Grosdemange, Damien H, DarkVodKa, David ., David Bruant, David Futcher, David Nottin, David Perrenoud, David Racine, Devil505, Djainette, Djiboun, Doyen Philippe, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Fabrice Mathis, Flo Rahl, Florent (LSc), Florian-delaroche, GIRONE Remi, Gaëtan Godineau, Gaëtan Petit, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Guillaume F, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, JVC, Jean-Christophe, Jean-Christophe Baptiste, Jean-Marc, Jerod212, Joachim R., John, Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Chiquet, Julien Henry, Julien Humbert, JurisZombie, Kafi, Kolibry, Ktux, Kwakpiper, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Leduc, Lentdormi, Loic Pefferkorn, Lola Farret, Lolopro, Louis Dubois, Louis-Philippe Savoie, Macaroni, Maeda, Maijin, Majaaaax, Makidoko, Marot Célestin, Mathieu Disy, Mathieu Goeminne, Mathieu Hajder, Max, Mbarek Firas, Michael Vogt, Mika, MilkaJinka, Moneron Xavier, NSV, NaSH, Networlds, Nicolas Delvaux, Nicolas Maître, Nicolas Quenouille, Nicolas Robin, Nicolog, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Santander, Ralphi2811, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salim, Salvato-Vallverdu, SamheG, SarahSlean, Seb24, Serge Pilon, Sika, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane, Stéphane Maniaci, Stéphane V, Surfoo, Sydney, Sylvain Doctrinal, Sylvie Gallet, Sébastien, Sébastien DUMORTIER, Tarek, Teromene, Testing Tigerwolf, Thibault Févry, Thomas, Thomas LAROCHE, Thomas Quaglio, Thomas.M, Titanet, Tom Swartz, Toxxic Zad, Tubuntu, Valentin Lorentz, Xarkam, YannUbuntu, Yayel, Yohann, Yvance77, Yves MATHIEU, _Syzygy_, arkan, axelle oxford, baj, bameylan, belbeoch, bloch, bpascal123, clement62910, cocof35, davandg, deactivated--, dpl29, electroluth, elyr, evannc, fabkzo, flobe, fredurb1, gisele perreault, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, judejude, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, paulcreusat@yahoo.fr, piti, prunier charly, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, teza, thebachman, thenasa, tiritchi, titouan le folgoc, toins, yasmine, yeassay, ymadec, Łukasz Zemczak.