Zum Inhalt springen

Datei:Definitional tree of take.svg

Seiteninhalte werden in anderen Sprachen nicht unterstützt.
Zur Beschreibungsseite auf Commons
aus Wikipedia, der freien Enzyklopädie
Originaldatei (SVG-Datei, Basisgröße: 421 × 201 Pixel, Dateigröße: 29 KB)

Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Wikimedia Commons eingebunden.

Zur Beschreibungsseite auf Commons


Beschreibung

Beschreibung
English: Rewrite rules of operation take and corresponding definitional tree. Operation take takes a list and a natural number and returns either the list of the first elements of or the entire , if has less than elements. Natural numbers are represented in unary notation. Lists are represented in the notation of the programming language Haskell. Likewise, symbol application is curried.
Datum June 23, 2025
Quelle Eigenes Werk
Urheber Sergio58

Lizenz

Ich, der Urheber dieses Werkes, veröffentliche es unter der folgenden Lizenz:
Creative Commons CC-Zero Diese Datei wird unter der Creative-Commons-Lizenz CC0 1.0 Verzicht auf das Copyright zur Verfügung gestellt.
Die Person, die das Werk mit diesem Dokument verbunden hat, übergibt dieses weltweit der Gemeinfreiheit, indem sie alle Urheberrechte und damit verbundenen weiteren Rechte – im Rahmen der jeweils geltenden gesetzlichen Bestimmungen – aufgibt. Das Werk kann – selbst für kommerzielle Zwecke – kopiert, modifiziert und weiterverteilt werden, ohne hierfür um Erlaubnis bitten zu müssen.

Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.
Rewrite rules of operation {{Mono|take}} and corresponding definitional tree.

In dieser Datei abgebildete Objekte

Motiv

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell21:44, 13. Jul. 2025Vorschaubild der Version vom 21:44, 13. Jul. 2025421 × 201 (29 KB)Sergio58Uploaded own work with UploadWizard

Keine Seiten verwenden diese Datei.

Globale Dateiverwendung

Die nachfolgenden anderen Wikis verwenden diese Datei:

Metadaten