File:ADT fold - sum.png
Jump to navigation
Jump to search
No higher resolution available.
ADT_fold_-_sum.png (214 × 108 pixels, file size: 7 KB, MIME type: image/png)
Captions
Captions
Add a one-line explanation of what this file represents
Summary
[edit]
| Description |
English: ADT fold: sum |
| Source | LaTeXiT |
| Author | Daniel Brown |
Licensing
[edit]
|
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
