Mercurial > hg > Papers > 2014 > toma-master

comparison paper/images/rpar_rpar.graffle @ 16:eb6a70fc9c9f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
describe the haskell
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Sat, 01 Feb 2014 08:40:15 +0900
parents
children
comparison
equal deleted inserted replaced
15:a551888363cb 16:eb6a70fc9c9f
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3 <plist version="1.0">
4 <dict>
5 <key>ActiveLayerIndex</key>
6 <integer>0</integer>
7 <key>ApplicationVersion</key>
8 <array>
9 <string>com.omnigroup.OmniGrafflePro</string>
10 <string>139.17.0.185490</string>
11 </array>
12 <key>AutoAdjust</key>
13 <false/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {559, 783}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>ID</key>
21 <integer>2</integer>
22 <key>Style</key>
23 <dict>
24 <key>shadow</key>
25 <dict>
26 <key>Draws</key>
27 <string>NO</string>
28 </dict>
29 <key>stroke</key>
30 <dict>
31 <key>Draws</key>
32 <string>NO</string>
33 </dict>
34 </dict>
35 </dict>
36 <key>BaseZoom</key>
37 <integer>0</integer>
38 <key>CanvasOrigin</key>
39 <string>{0, 0}</string>
40 <key>ColumnAlign</key>
41 <integer>1</integer>
42 <key>ColumnSpacing</key>
43 <real>36</real>
44 <key>CreationDate</key>
45 <string>2014-01-31 23:10:45 +0000</string>
46 <key>Creator</key>
47 <string>Daichi TOMA</string>
48 <key>DisplayScale</key>
49 <string>1.000 cm = 1.000 m</string>
50 <key>GraphDocumentVersion</key>
51 <integer>8</integer>
52 <key>GraphicsList</key>
53 <array>
54 <dict>
55 <key>Bounds</key>
56 <string>{{130.5, 286}, {32, 14}}</string>
57 <key>Class</key>
58 <string>ShapedGraphic</string>
59 <key>FitText</key>
60 <string>YES</string>
61 <key>Flow</key>
62 <string>Resize</string>
63 <key>ID</key>
64 <integer>11</integer>
65 <key>Shape</key>
66 <string>Rectangle</string>
67 <key>Style</key>
68 <dict>
69 <key>fill</key>
70 <dict>
71 <key>Draws</key>
72 <string>NO</string>
73 </dict>
74 <key>shadow</key>
75 <dict>
76 <key>Draws</key>
77 <string>NO</string>
78 </dict>
79 <key>stroke</key>
80 <dict>
81 <key>Draws</key>
82 <string>NO</string>
83 </dict>
84 </dict>
85 <key>Text</key>
86 <dict>
87 <key>Pad</key>
88 <integer>0</integer>
89 <key>Text</key>
90 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
91 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
92 {\colortbl;\red255\green255\blue255;}
93 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
94
95 \f0\fs24 \cf0 return}</string>
96 <key>VerticalPad</key>
97 <integer>0</integer>
98 </dict>
99 <key>Wrap</key>
100 <string>NO</string>
101 </dict>
102 <dict>
103 <key>Class</key>
104 <string>Group</string>
105 <key>Graphics</key>
106 <array>
107 <dict>
108 <key>Bounds</key>
109 <string>{{216, 249}, {23, 14}}</string>
110 <key>Class</key>
111 <string>ShapedGraphic</string>
112 <key>FitText</key>
113 <string>YES</string>
114 <key>Flow</key>
115 <string>Resize</string>
116 <key>FontInfo</key>
117 <dict>
118 <key>Font</key>
119 <string>Helvetica</string>
120 <key>Size</key>
121 <real>12</real>
122 </dict>
123 <key>ID</key>
124 <integer>13</integer>
125 <key>Shape</key>
126 <string>Rectangle</string>
127 <key>Style</key>
128 <dict>
129 <key>fill</key>
130 <dict>
131 <key>Draws</key>
132 <string>NO</string>
133 </dict>
134 <key>shadow</key>
135 <dict>
136 <key>Draws</key>
137 <string>NO</string>
138 </dict>
139 <key>stroke</key>
140 <dict>
141 <key>Draws</key>
142 <string>NO</string>
143 </dict>
144 </dict>
145 <key>Text</key>
146 <dict>
147 <key>Pad</key>
148 <integer>0</integer>
149 <key>Text</key>
150 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
151 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
152 {\colortbl;\red255\green255\blue255;}
153 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
154
155 \f0\fs24 \cf0 time}</string>
156 <key>VerticalPad</key>
157 <integer>0</integer>
158 </dict>
159 <key>Wrap</key>
160 <string>NO</string>
161 </dict>
162 <dict>
163 <key>Class</key>
164 <string>LineGraphic</string>
165 <key>ID</key>
166 <integer>14</integer>
167 <key>Points</key>
168 <array>
169 <string>{147, 248}</string>
170 <string>{317.07875061035156, 248}</string>
171 </array>
172 <key>Style</key>
173 <dict>
174 <key>stroke</key>
175 <dict>
176 <key>HeadArrow</key>
177 <string>FilledArrow</string>
178 <key>Legacy</key>
179 <true/>
180 <key>LineType</key>
181 <integer>1</integer>
182 <key>TailArrow</key>
183 <string>0</string>
184 <key>Width</key>
185 <real>2</real>
186 </dict>
187 </dict>
188 </dict>
189 </array>
190 <key>ID</key>
191 <integer>12</integer>
192 </dict>
193 <dict>
194 <key>Bounds</key>
195 <string>{{147, 187}, {170.07875061035156, 40}}</string>
196 <key>Class</key>
197 <string>ShapedGraphic</string>
198 <key>ID</key>
199 <integer>6</integer>
200 <key>Shape</key>
201 <string>Rectangle</string>
202 <key>Style</key>
203 <dict>
204 <key>shadow</key>
205 <dict>
206 <key>Draws</key>
207 <string>NO</string>
208 </dict>
209 <key>stroke</key>
210 <dict>
211 <key>Width</key>
212 <real>2</real>
213 </dict>
214 </dict>
215 <key>Text</key>
216 <dict>
217 <key>Align</key>
218 <integer>0</integer>
219 <key>Text</key>
220 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
221 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 RictyDiscord-Regular;}
222 {\colortbl;\red255\green255\blue255;}
223 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
224
225 \f0\fs36 \cf0 f y}</string>
226 </dict>
227 </dict>
228 <dict>
229 <key>Bounds</key>
230 <string>{{147, 135}, {340.15750122070312, 40}}</string>
231 <key>Class</key>
232 <string>ShapedGraphic</string>
233 <key>ID</key>
234 <integer>5</integer>
235 <key>Shape</key>
236 <string>Rectangle</string>
237 <key>Style</key>
238 <dict>
239 <key>shadow</key>
240 <dict>
241 <key>Draws</key>
242 <string>NO</string>
243 </dict>
244 <key>stroke</key>
245 <dict>
246 <key>Width</key>
247 <real>2</real>
248 </dict>
249 </dict>
250 <key>Text</key>
251 <dict>
252 <key>Align</key>
253 <integer>0</integer>
254 <key>Text</key>
255 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265
256 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 RictyDiscord-Regular;}
257 {\colortbl;\red255\green255\blue255;}
258 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
259
260 \f0\fs36 \cf0 f x}</string>
261 </dict>
262 </dict>
263 <dict>
264 <key>Class</key>
265 <string>LineGraphic</string>
266 <key>ID</key>
267 <integer>3</integer>
268 <key>Points</key>
269 <array>
270 <string>{146, 113}</string>
271 <string>{146, 279}</string>
272 </array>
273 <key>Style</key>
274 <dict>
275 <key>stroke</key>
276 <dict>
277 <key>HeadArrow</key>
278 <string>0</string>
279 <key>Legacy</key>
280 <true/>
281 <key>Pattern</key>
282 <integer>1</integer>
283 <key>TailArrow</key>
284 <string>0</string>
285 <key>Width</key>
286 <real>2</real>
287 </dict>
288 </dict>
289 </dict>
290 </array>
291 <key>GridInfo</key>
292 <dict/>
293 <key>GuidesLocked</key>
294 <string>NO</string>
295 <key>GuidesVisible</key>
296 <string>YES</string>
297 <key>HPages</key>
298 <integer>1</integer>
299 <key>ImageCounter</key>
300 <integer>1</integer>
301 <key>KeepToScale</key>
302 <true/>
303 <key>Layers</key>
304 <array>
305 <dict>
306 <key>Lock</key>
307 <string>NO</string>
308 <key>Name</key>
309 <string>Layer 1</string>
310 <key>Print</key>
311 <string>YES</string>
312 <key>View</key>
313 <string>YES</string>
314 </dict>
315 </array>
316 <key>LayoutInfo</key>
317 <dict>
318 <key>Animate</key>
319 <string>NO</string>
320 <key>circoMinDist</key>
321 <real>18</real>
322 <key>circoSeparation</key>
323 <real>0.0</real>
324 <key>layoutEngine</key>
325 <string>dot</string>
326 <key>neatoSeparation</key>
327 <real>0.0</real>
328 <key>twopiSeparation</key>
329 <real>0.0</real>
330 </dict>
331 <key>LinksVisible</key>
332 <string>NO</string>
333 <key>MagnetsVisible</key>
334 <string>NO</string>
335 <key>MasterSheets</key>
336 <array/>
337 <key>ModificationDate</key>
338 <string>2014-01-31 23:17:47 +0000</string>
339 <key>Modifier</key>
340 <string>Daichi TOMA</string>
341 <key>NotesVisible</key>
342 <string>NO</string>
343 <key>Orientation</key>
344 <integer>2</integer>
345 <key>OriginVisible</key>
346 <string>NO</string>
347 <key>PageBreaks</key>
348 <string>YES</string>
349 <key>PrintInfo</key>
350 <dict>
351 <key>NSBottomMargin</key>
352 <array>
353 <string>float</string>
354 <string>41</string>
355 </array>
356 <key>NSHorizonalPagination</key>
357 <array>
358 <string>coded</string>
359 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
360 </array>
361 <key>NSLeftMargin</key>
362 <array>
363 <string>float</string>
364 <string>18</string>
365 </array>
366 <key>NSPaperSize</key>
367 <array>
368 <string>size</string>
369 <string>{595, 842}</string>
370 </array>
371 <key>NSPrintReverseOrientation</key>
372 <array>
373 <string>int</string>
374 <string>0</string>
375 </array>
376 <key>NSRightMargin</key>
377 <array>
378 <string>float</string>
379 <string>18</string>
380 </array>
381 <key>NSTopMargin</key>
382 <array>
383 <string>float</string>
384 <string>18</string>
385 </array>
386 </dict>
387 <key>PrintOnePage</key>
388 <false/>
389 <key>ReadOnly</key>
390 <string>NO</string>
391 <key>RowAlign</key>
392 <integer>1</integer>
393 <key>RowSpacing</key>
394 <real>36</real>
395 <key>SheetTitle</key>
396 <string>Canvas 1</string>
397 <key>SmartAlignmentGuidesActive</key>
398 <string>YES</string>
399 <key>SmartDistanceGuidesActive</key>
400 <string>YES</string>
401 <key>UniqueID</key>
402 <integer>1</integer>
403 <key>UseEntirePage</key>
404 <false/>
405 <key>VPages</key>
406 <integer>1</integer>
407 <key>WindowInfo</key>
408 <dict>
409 <key>CurrentSheet</key>
410 <integer>0</integer>
411 <key>ExpandedCanvases</key>
412 <array>
413 <dict>
414 <key>name</key>
415 <string>Canvas 1</string>
416 </dict>
417 </array>
418 <key>Frame</key>
419 <string>{{1038, 456}, {785, 922}}</string>
420 <key>ListView</key>
421 <true/>
422 <key>OutlineWidth</key>
423 <integer>142</integer>
424 <key>RightSidebar</key>
425 <false/>
426 <key>ShowRuler</key>
427 <true/>
428 <key>Sidebar</key>
429 <true/>
430 <key>SidebarWidth</key>
431 <integer>119</integer>
432 <key>VisibleRegion</key>
433 <string>{{-46, 0}, {651, 783}}</string>
434 <key>Zoom</key>
435 <real>1</real>
436 <key>ZoomValues</key>
437 <array>
438 <array>
439 <string>Canvas 1</string>
440 <real>1</real>
441 <real>1</real>
442 </array>
443 </array>
444 </dict>
445 </dict>
446 </plist>