Browsing French translation

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

• Download translation
• Translation details

330 → 339 of 54563 results First • Previous • Next • Last
	330.	English:		Commandline interface to Agda
				Summary
Current French:				Interface en ligne de commande pour Agda
				Translated and reviewed by Pierre Slamich on 2011-04-24
				Located in Package: agda-bin
	331.	English:		This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
				Description
Current French:				Ce paquet fournit un programme en ligne de commande pour la vérification de type et la compilation des programmes AGDA. Le programme peut également générer des fichiers HTML liés en hypertexte et surlignés à partir de sources AGDA.
				Translated by Pierre Slamich on 2012-09-29
				Reviewed by gisele perreault on 2012-10-03
				Located in Package: agda-bin
	332.	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
	333.	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
	334.	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
	335.	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
	336.	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
	337.	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
	338.	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
	339.	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

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, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien Ribeiro, Babey, Baptiste, Benitron, Bernos Guillaume, Bertrand Croq, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno, Bruno Avet, Béranger Dumont, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Djainette, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Florent (LSc), Florian-delaroche, GIRONE Remi, Gaëtan Godineau, Gaëtan Petit, 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, JurisZombie, Kafi, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Leduc, Lentdormi, Lolopro, Louis Dubois, Maeda, Majaaaax, Marot Célestin, Max, Michael Vogt, Mika, MilkaJinka, Moneron Xavier, NSV, NaSH, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Quentin Santander, Ralphi2811, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane, Stéphane Maniaci, Stéphane V, Sydney, Sylvie Gallet, Sébastien, Tarek, Teromene, Testing Tigerwolf, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, YannUbuntu, Yayel, Yohann, Yvance77, _Syzygy_, arkan, axelle oxford, baj, bameylan, belbeoch, bloch, bpascal123, clement62910, dpl29, electroluth, elyr, 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, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, thenasa, tiritchi, titouan le folgoc, yasmine, yeassay, ymadec, Łukasz Zemczak.