Image:Purely functional list after.gif
From Wikipedia, the free encyclopedia
Purely_functional_list_after.gif (194 × 397 pixel, file size: 5 KB, MIME type: image/gif)
Purely functional list, adapted from Okasaki (but redrawn by me using graphviz).
Here is the original DOT file:
digraph G { xs[shape=plaintext]; xs -> 0; 0 -> 1; 1 -> 2; ys[shape=plaintext]; ys -> 3; 3 -> 4; 4 -> 5; zs[shape=plaintext]; 02[label="0"]; 12[label="1"]; 22[label="2"]; zs -> 02; 02 -> 12; 12 -> 22; 22 -> 3; }
I used:
dot -Tps file.dot | gs -sDEVICE=ppm -r300x300 -sOutputFile=file.ppm -dNOPAUSE
Then I used xv to crop the PPM file, scale it to 20% original size, smooth it, and convert to a GIF.
I, User:Richard W.M. Jones, hereby release this image under the GFDL.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
Subject to disclaimers.
File history
Legend: (cur) = this is the current file, (del) = delete
this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 17:03, 27 March 2005 . . Richard W.M. Jones (Talk | contribs) . . 194×397 (4,907 bytes) (Purely functional list, adapted from Okasaki (but redrawn by me using graphviz). Here is the original DOT file: digraph G { xs[shape=plaintext]; xs -> 0; 0 -> 1; 1 -> 2; ys[shape=plaintext]; ys -> 3)
- Edit this file using an external application
See the setup instructions for more information.