File:ADT fold - sum.png
ADT_fold_-_sum.png (214 × 108 pixels, file size: 7 KB, MIME type: image/png)
File information
Structured data
Captions
Summary edit
DescriptionADT fold - sum.png |
English: ADT fold: sum |
Source | LaTeXiT |
Author | Daniel Brown |
Licensing edit
Public domainPublic domainfalsefalse |
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
LaTeX source edit
\begin{diagram} 1 + \N \times {\tt List}_\N & \rTo & 1 + \N \times \N \\ \dTo^{[{\tt nil}, {\tt cons}]} & & \dTo_{[0,+]} \\ {\tt List}_\N & \rDashto_{\tt sum} & \N \end{diagram}
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 08:14, 2 July 2008 | 214 × 108 (7 KB) | Daniel Brown (talk | contribs) | {{Information |Description={{en|1=ADT fold: sum}} |Source=LaTeXiT |Author=Daniel Brown |Date= |Permission= |other_versions= }} {{ImageUpload|full}} |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on es.wikipedia.org