This is a file from the Wikimedia Commons

File:Monad-law-1-lists.png

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Monad-law-1-lists.png(403 × 387 pixels, file size: 25 KB, MIME type: image/png)


Summary

Description
English: A demonstration that join . fmap join = join . join for lists.
Date 13 January 2007 (original upload date)
Source Transferred from en.wikibooks to Commons.
Author DavidHouse at English Wikibooks

Licensing

This work has been released into the public domain by its author, DavidHouse, at the English Wikipedia project. This applies worldwide.

In case this is not legally possible:
DavidHouse grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Original upload log

The original description page was here. All following user names refer to en.wikibooks.
Date/Time Dimensions User Comment
2007-01-20 11:25 403×387× (25127 bytes) DavidHouse Move the two sides around so that the left hand side of the picture corresponds with the left hand side of the equation.
2007-01-18 17:19 373×374× (24902 bytes) DavidHouse Meant to copy the list, not move it :)
2007-01-18 17:01 373×374× (24647 bytes) DavidHouse Missed an empty list.
2007-01-16 18:57 373×374× (24665 bytes) DavidHouse Use a white background to fix printing.
2007-01-13 17:36 373×374× (17652 bytes) DavidHouse A demonstration that <code>join . fmap join = join . join</code> for lists.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current20:04, 19 August 2017Thumbnail for version as of 20:04, 19 August 2017403 × 387 (25 KB)JackPotte{{BotMoveToCommons|en.wikibooks|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} == {{int:filedesc}} == {{Information |Description={{en|A demonstration that <code>join . fmap join = join . join</code> for lists.}}...

The following 2 pages use this file:

Metadata