Package Descriptions for Ubuntu

Browsing German translation

  1. Series precise
  2. Template “ddtp-ubuntu-universe”
  3. German (de)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and German guidelines.
332 → 341 of 54563 results First • • • Last
332.
the emacs mode for Agda
 
Summary
Emacs-Modus für Agda
Translated and reviewed by Hendrik Schrieber
Located in Package: agda-mode
333.
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
Dieses Paket enthält den interaktiven Emacs-Entwicklungsmodus für Agda. Dieser Modus ist der bevorzugte Weg, um Agda-Quelltext zu schreiben, und bietet Möglichkeiten wie iterartive Entwicklung, Vervollständigung, Fall-Analyse und so weiter.
Translated and reviewed by Hendrik Schrieber
Located in Package: elpa-agda2-mode
334.
a dependently typed programming language - standard library
 
Summary
Eine abhängig typisierte Programmiersprache – Standardbibliothek
Translated and reviewed by Hendrik Schrieber
Located in Package: agda-stdlib
335.
This package contains the complete library.
 
Description
Dieses Paket beinhaltet die komplette Bibliothek.
Translated by Marijo Mustac
Reviewed by Hendrik Schrieber
Located in Package: agda-stdlib
336.
a dependently typed programming language - documentation
 
Summary
Eine abhängig typisierte Programmiersprache – Dokumentation
Translated and reviewed by Hendrik Schrieber
Located in Package: agda-stdlib-doc
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.
Die Agda-Standardbibliothek enthält Module für viele verbreitete Datenstrukturen und Beweismuster. Die zur Verfügung gestellten Module beinhalten:
- Algebra: Angeben und Nachdenken über abstrakte algebraische Strukturen
- Kategorie: Nutzung von Redewendungen aus der Kategorie Theorie zum Strukturieren funktionaler Programme
- Coinduktion: Unterstützung für leitendes Programmieren
- Daten: Datentypen und Eigenschaften zu Datentypen
- Foreign: Bezogen auf die Foreign Funktionsschnittstelle (Foreign Function Interface)
- Induktion: Ein generelles Rahmenwerk für Induktion
- IO: Ein-/Ausgabe-bezogene Funktionen
- Ebenen: Universe-Ebene
- Relationen: Eigenschaften von und Beweise über Relationen
- Größen: Größen, die vom Größentyp Mechanismus genutzt werden
Translated and reviewed by Hendrik Schrieber
Located in Package: agda-stdlib-doc Package: agda-stdlib
338.
This package contains the hyperlinked library documentation.
 
Description
Dieses Paket enthält die verlinkte Bibliotheksdokumentation.
Translated and reviewed by Daniel Schury
Located in Package: agda-stdlib-doc
339.
a Unix utility for tracking down wasted disk space
 
Summary
Unix-Werkzeug zum Auffinden von verschwendetem Plattenspeicher
Translated by Michael Vogt
Located in Package: agedu
340.
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
Unix stellt das Standardwerkzeug du bereit, das Ihre Platte überprüft und Ihnen mitteilt, welche Verzeichnisse die größten Datenmengen enthalten. Das kann Ihnen dabei helfen, Ihre Suche nach zu löschenden Dingen einzugrenzen.
Translated by Michael Vogt
Located in Package: agedu
341.
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
Jedoch erfahren Sie dadurch nur was groß ist. Eigentlich wollen Sie wissen, was zu groß ist. du allein hilft Ihnen nicht bei der Unterscheidung zwischen großen Datenmengen, die sie für Ihre Arbeit benötigen und großen Datenmengen, die entpackt und danach einfach vergessen worden sind.
Translated by Michael Vogt
Located in Package: agedu
332 → 341 of 54563 results First • • • Last

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

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

Contributors to this translation: Alexander Hartl, Björn Ternes, Carlos Perelló Marín, Carsten Gerlach, Christian Flasche, Christoph Gerlach, Daniel, Daniel Schury, Daniel Winzen, David Ayers, Denise Tiersch, Dennis Baudys, Dr. Peter Netz, Eduard Gotwig, Florian Greinus, Frank Sagner, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Jürgen Schwarze, Laurent Kap, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Max Wiedenmann, Michael Steuernagel, Michael Vogt, Moritz Baumann, Nico Bauer, Niko K, Oliver Duerre, Pascal De Vuyst, Phil Krämer, Rajek, Robin, Ronald Müller, Sascha, Severin H, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thomas Schwiertz, Tobias Bannert, Torsten Franz, ctx, dstaubsauger, greenscandic, hpeck, kilaviljenn, scrawl, shilbert, stepstra, Łukasz Zemczak.