Package Descriptions for Ubuntu

Browsing German translation

Using as a guide

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 German:

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 on 2012-04-24

Located in Package: agda-stdlib-doc Package: agda-stdlib

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

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