Browsing Italian translation

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

• Download translation
• Translation details

11 → 20 of 25817 results First • Previous • Next • Last
	268.	English:		The provision component of this system provides the back end used for system level tasks such as creating configuration files and managing databases and backup files.
				Description
Current Italian:				(no translation yet)
				Located in Package: aegir-provision
	323.	English:		audio AC3 encoder
				Summary
Current Italian:				(no translation yet)
				Located in Package: aften
	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 Italian:				(no translation yet)
				Located in Package: agda-bin
	332.	English:		the emacs mode for Agda
				Summary
Current Italian:				(no translation yet)
				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 Italian:				(no translation yet)
				Located in Package: elpa-agda2-mode
	334.	English:		a dependently typed programming language - standard library
				Summary
Current Italian:				(no translation yet)
				Located in Package: agda-stdlib
	336.	English:		a dependently typed programming language - documentation
				Summary
Current Italian:				(no translation yet)
				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 Italian:				(no translation yet)
				Located in Package: agda-stdlib-doc Package: agda-stdlib
	338.	English:		This package contains the hyperlinked library documentation.
				Description
Current Italian:				(no translation yet)
				Located in Package: agda-stdlib-doc
	361.	English:		This package contains the statically linked binary for XEN-enabled systems and should be used in Dom0 and DomU.
				Description
Current Italian:				(no translation yet)
				Located in Package: aide-xen

This translation is managed by Traduttori Italiani del software di Ubuntu, assigned by Ubuntu Translators.

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

Contributors to this translation: Alessio Treglia, Andrea Amoroso, Claudio Arseni, Etuardu, Gianfranco Frisani, Giuseppe Terrasi, Luca Ferretti, Martino Barbon, Michael Vogt, Milo Casagrande, Nicola Piovesan, Sergio Zanchetta, Simone Oberti, Steve Langasek, dav2dev, enubuntu, Łukasz Zemczak.