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.
331 → 340 of 54563 results First • • • Last
331.
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
Dieses Paket enthält ein Befehlszeilenprogramm für das Prüfen und Kompilieren von »Agda«-Programmen. Das Programm kann ebenfalls verknüpfte und hervorgehobene HTML-Dateien aus »Agda«-Quellen erstellen.
Translated and reviewed by Daniel Schury
Located in Package: agda-bin
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
331 → 340 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.