optimized images for the web
Before Width: | Height: | Size: 48 KiB After Width: | Height: | Size: 46 KiB |
Before Width: | Height: | Size: 12 KiB After Width: | Height: | Size: 11 KiB |
Before Width: | Height: | Size: 754 KiB After Width: | Height: | Size: 130 KiB |
Before Width: | Height: | Size: 58 KiB After Width: | Height: | Size: 44 KiB |
Before Width: | Height: | Size: 51 KiB After Width: | Height: | Size: 44 KiB |
Before Width: | Height: | Size: 495 KiB After Width: | Height: | Size: 724 KiB |
Before Width: | Height: | Size: 32 KiB After Width: | Height: | Size: 19 KiB |
Before Width: | Height: | Size: 175 KiB After Width: | Height: | Size: 175 KiB |
Before Width: | Height: | Size: 301 KiB After Width: | Height: | Size: 290 KiB |
Before Width: | Height: | Size: 230 KiB After Width: | Height: | Size: 92 KiB |
Before Width: | Height: | Size: 2 MiB After Width: | Height: | Size: 2 MiB |
Before Width: | Height: | Size: 33 KiB After Width: | Height: | Size: 18 KiB |
Before Width: | Height: | Size: 7.1 KiB After Width: | Height: | Size: 8.1 KiB |
Before Width: | Height: | Size: 19 KiB After Width: | Height: | Size: 14 KiB |
Before Width: | Height: | Size: 492 KiB After Width: | Height: | Size: 384 KiB |
Before Width: | Height: | Size: 780 KiB After Width: | Height: | Size: 84 KiB |
Before Width: | Height: | Size: 501 KiB After Width: | Height: | Size: 98 KiB |
Before Width: | Height: | Size: 88 KiB After Width: | Height: | Size: 24 KiB |
Before Width: | Height: | Size: 82 KiB After Width: | Height: | Size: 24 KiB |
Before Width: | Height: | Size: 208 KiB After Width: | Height: | Size: 54 KiB |
Before Width: | Height: | Size: 376 KiB After Width: | Height: | Size: 121 KiB |
Before Width: | Height: | Size: 292 KiB After Width: | Height: | Size: 77 KiB |
Before Width: | Height: | Size: 869 KiB After Width: | Height: | Size: 185 KiB |
Before Width: | Height: | Size: 213 KiB After Width: | Height: | Size: 66 KiB |
Before Width: | Height: | Size: 179 KiB After Width: | Height: | Size: 61 KiB |
Before Width: | Height: | Size: 334 KiB After Width: | Height: | Size: 60 KiB |
Before Width: | Height: | Size: 914 KiB After Width: | Height: | Size: 92 KiB |
Before Width: | Height: | Size: 819 KiB After Width: | Height: | Size: 120 KiB |
Before Width: | Height: | Size: 1.2 MiB After Width: | Height: | Size: 190 KiB |
Before Width: | Height: | Size: 968 KiB After Width: | Height: | Size: 149 KiB |
Before Width: | Height: | Size: 328 KiB After Width: | Height: | Size: 92 KiB |
Before Width: | Height: | Size: 2.7 MiB After Width: | Height: | Size: 161 KiB |
Before Width: | Height: | Size: 2.6 MiB After Width: | Height: | Size: 157 KiB |
Before Width: | Height: | Size: 2 MiB After Width: | Height: | Size: 121 KiB |
Before Width: | Height: | Size: 907 KiB After Width: | Height: | Size: 148 KiB |
Before Width: | Height: | Size: 255 KiB After Width: | Height: | Size: 56 KiB |
Before Width: | Height: | Size: 282 KiB After Width: | Height: | Size: 62 KiB |
|
@ -1,7 +0,0 @@
|
||||||
pair tree,list;
|
|
||||||
resize(.8cm);
|
|
||||||
list=origin;
|
|
||||||
tree=list shifted (gu,0);
|
|
||||||
drawState(list,"\mathtt{[]}");
|
|
||||||
drawState(tree,"\mathtt{List}");
|
|
||||||
drawEdgeAngle(list,tree,"\mathtt{toList}",30);
|
|
Before Width: | Height: | Size: 254 KiB After Width: | Height: | Size: 57 KiB |
Before Width: | Height: | Size: 392 KiB After Width: | Height: | Size: 86 KiB |
Before Width: | Height: | Size: 399 KiB After Width: | Height: | Size: 98 KiB |
Before Width: | Height: | Size: 1.3 MiB After Width: | Height: | Size: 72 KiB |
Before Width: | Height: | Size: 334 KiB After Width: | Height: | Size: 71 KiB |
|
@ -1,21 +0,0 @@
|
||||||
z0=(0,0);
|
|
||||||
z1=(1.5gu,0);
|
|
||||||
z2=(0,-gu);
|
|
||||||
z3=(1.5gu,-gu);
|
|
||||||
path ac,ab;
|
|
||||||
|
|
||||||
label(btex $\mathtt{[a]}$ etex,z0);
|
|
||||||
label(btex $\mathtt{[b]}$ etex,z1);
|
|
||||||
label(btex $\mathtt{List\ a}$ etex,z2 shifted (-u,0));
|
|
||||||
label(btex $\mathtt{List\ b}$ etex,z3 shifted (u,0));
|
|
||||||
|
|
||||||
drawEdge(z0,z1,"\mathtt{fmap_{[]}\ f}");
|
|
||||||
drawEdge(z2,z3,"\mathtt{fmap_{List}\ f}");
|
|
||||||
ab:=edge(z0,z2);
|
|
||||||
drawarrow ab;
|
|
||||||
label.lft(btex $\mathtt{toList}$ etex,midpoint(ab));
|
|
||||||
|
|
||||||
ac:=edge(z1,z3);
|
|
||||||
drawarrow ac;
|
|
||||||
label.rt(btex $\mathtt{toList}$ etex,midpoint(ac));
|
|
||||||
|
|
Before Width: | Height: | Size: 297 KiB After Width: | Height: | Size: 64 KiB |
Before Width: | Height: | Size: 334 KiB After Width: | Height: | Size: 77 KiB |
|
@ -1,29 +0,0 @@
|
||||||
z0=(0,0);
|
|
||||||
z1=(1.5gu,0);
|
|
||||||
z2=(0,-gu);
|
|
||||||
z3=(1.5gu,-gu);
|
|
||||||
path ac,ab;
|
|
||||||
|
|
||||||
label(btex $\mathtt{[a]}$ etex,z0);
|
|
||||||
label(btex $\mathtt{[b]}$ etex,z1);
|
|
||||||
label(btex $\mathtt{List\ a}$ etex,z2 shifted (-u,0));
|
|
||||||
label(btex $\mathtt{List\ b}$ etex,z3 shifted (u,0));
|
|
||||||
|
|
||||||
drawEdge(z0,z1,"\mathtt{fmap_{[]}\ f}");
|
|
||||||
drawEdge(z2,z3,"\mathtt{fmap_{List}\ f}");
|
|
||||||
ab:=edge(z0,z2);
|
|
||||||
drawarrow ab;
|
|
||||||
label.lft(btex $\mathtt{toList}$ etex,midpoint(ab));
|
|
||||||
|
|
||||||
ac:=edge(z1,z3);
|
|
||||||
drawarrow ac;
|
|
||||||
label.rt(btex $\mathtt{toList}$ etex,midpoint(ac));
|
|
||||||
|
|
||||||
drawoptions(withcolor yellow);
|
|
||||||
path abb,acb;
|
|
||||||
abb:=edge(z2 shifted (.2u,0),z0 shifted (.2u,0));
|
|
||||||
acb:=edge(z3 shifted (-.2u,0),z1 shifted (-.2u,0));
|
|
||||||
drawarrow abb;
|
|
||||||
drawarrow acb;
|
|
||||||
label.rt(btex $\mathtt{toHList}$ etex,midpoint(abb));
|
|
||||||
label.lft(btex $\mathtt{toHList}$ etex,midpoint(acb));
|
|
Before Width: | Height: | Size: 344 KiB After Width: | Height: | Size: 81 KiB |
Before Width: | Height: | Size: 233 KiB After Width: | Height: | Size: 69 KiB |
Before Width: | Height: | Size: 374 KiB After Width: | Height: | Size: 38 KiB |
Before Width: | Height: | Size: 342 KiB After Width: | Height: | Size: 18 KiB |
Before Width: | Height: | Size: 679 KiB After Width: | Height: | Size: 48 KiB |
Before Width: | Height: | Size: 387 KiB After Width: | Height: | Size: 87 KiB |
Before Width: | Height: | Size: 396 KiB After Width: | Height: | Size: 97 KiB |
|
@ -1,9 +0,0 @@
|
||||||
pair tree,list;
|
|
||||||
resize(.8cm);
|
|
||||||
list=origin;
|
|
||||||
tree=list shifted (gu,0);
|
|
||||||
drawState(list,"\mathtt{[]}");
|
|
||||||
drawState(tree,"\mathtt{List}");
|
|
||||||
drawEdgeAngle(list,tree,"\mathtt{toList}",30);
|
|
||||||
drawoptions(withcolor yellow);
|
|
||||||
drawEdgeAngle(tree,list,"\mathtt{toHList}",30);
|
|
Before Width: | Height: | Size: 357 KiB After Width: | Height: | Size: 79 KiB |
Before Width: | Height: | Size: 42 KiB After Width: | Height: | Size: 10 KiB |
Before Width: | Height: | Size: 11 KiB After Width: | Height: | Size: 11 KiB |
Before Width: | Height: | Size: 964 KiB After Width: | Height: | Size: 532 KiB |
Before Width: | Height: | Size: 1,016 KiB After Width: | Height: | Size: 1,020 KiB |