@@ -1,1251 +0,0 @@
1−<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2−<!-- Created with Inkscape (http://www.inkscape.org/) -->
3−
4−<svg
5− xmlns:dc="http://purl.org/dc/elements/1.1/"
6− xmlns:cc="http://creativecommons.org/ns#"
7− xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
8− xmlns:svg="http://www.w3.org/2000/svg"
9− xmlns="http://www.w3.org/2000/svg"
10− xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
11− xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
12− width="210mm"
13− height="297mm"
14− viewBox="0 0 210 297"
15− version="1.1"
16− id="svg8"
17− inkscape:version="0.92.2 5c3e80d, 2017-08-06"
18− sodipodi:docname="parserModules.svg">
19− <defs
20− id="defs2">
21− <marker
22− inkscape:isstock="true"
23− style="overflow:visible;"
24− id="marker1078"
25− refX="0.0"
26− refY="0.0"
27− orient="auto"
28− inkscape:stockid="Arrow1Mend">
29− <path
30− transform="scale(0.4) rotate(180) translate(10,0)"
31− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
32− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
33− id="path1076" />
34− </marker>
35− <marker
36− inkscape:isstock="true"
37− style="overflow:visible"
38− id="marker1074"
39− refX="0.0"
40− refY="0.0"
41− orient="auto"
42− inkscape:stockid="Arrow1Mstart">
43− <path
44− transform="scale(0.4) translate(10,0)"
45− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
46− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
47− id="path1072" />
48− </marker>
49− <marker
50− inkscape:stockid="Arrow1Mend"
51− orient="auto"
52− refY="0.0"
53− refX="0.0"
54− id="marker1021"
55− style="overflow:visible;"
56− inkscape:isstock="true"
57− inkscape:collect="always">
58− <path
59− id="path1019"
60− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
61− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
62− transform="scale(0.4) rotate(180) translate(10,0)" />
63− </marker>
64− <marker
65− inkscape:stockid="Arrow1Mstart"
66− orient="auto"
67− refY="0.0"
68− refX="0.0"
69− id="marker1017"
70− style="overflow:visible"
71− inkscape:isstock="true"
72− inkscape:collect="always">
73− <path
74− id="path1015"
75− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
76− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
77− transform="scale(0.4) translate(10,0)" />
78− </marker>
79− <marker
80− inkscape:isstock="true"
81− style="overflow:visible;"
82− id="marker973"
83− refX="0.0"
84− refY="0.0"
85− orient="auto"
86− inkscape:stockid="Arrow1Mend"
87− inkscape:collect="always">
88− <path
89− transform="scale(0.4) rotate(180) translate(10,0)"
90− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
91− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
92− id="path971" />
93− </marker>
94− <marker
95− inkscape:isstock="true"
96− style="overflow:visible"
97− id="marker969"
98− refX="0.0"
99− refY="0.0"
100− orient="auto"
101− inkscape:stockid="Arrow1Mstart"
102− inkscape:collect="always">
103− <path
104− transform="scale(0.4) translate(10,0)"
105− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
106− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
107− id="path967" />
108− </marker>
109− <marker
110− inkscape:stockid="Arrow1Mend"
111− orient="auto"
112− refY="0.0"
113− refX="0.0"
114− id="Arrow1Mend"
115− style="overflow:visible;"
116− inkscape:isstock="true"
117− inkscape:collect="always">
118− <path
119− id="path1214"
120− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
121− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
122− transform="scale(0.4) rotate(180) translate(10,0)" />
123− </marker>
124− <marker
125− inkscape:stockid="Arrow1Mstart"
126− orient="auto"
127− refY="0.0"
128− refX="0.0"
129− id="Arrow1Mstart"
130− style="overflow:visible"
131− inkscape:isstock="true"
132− inkscape:collect="always">
133− <path
134− id="path1211"
135− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
136− style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
137− transform="scale(0.4) translate(10,0)" />
138− </marker>
139− <marker
140− inkscape:isstock="true"
141− style="overflow:visible;"
142− id="marker1000"
143− refX="0.0"
144− refY="0.0"
145− orient="auto"
146− inkscape:stockid="Arrow1Mend">
147− <path
148− transform="scale(0.4) rotate(180) translate(10,0)"
149− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
150− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
151− id="path998" />
152− </marker>
153− <marker
154− inkscape:isstock="true"
155− style="overflow:visible;"
156− id="marker1127"
157− refX="0.0"
158− refY="0.0"
159− orient="auto"
160− inkscape:stockid="Arrow1Mend">
161− <path
162− transform="scale(0.4) rotate(180) translate(10,0)"
163− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
164− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
165− id="path1125" />
166− </marker>
167− <marker
168− inkscape:isstock="true"
169− style="overflow:visible;"
170− id="marker1123"
171− refX="0.0"
172− refY="0.0"
173− orient="auto"
174− inkscape:stockid="Arrow1Mend">
175− <path
176− transform="scale(0.4) rotate(180) translate(10,0)"
177− style="fill-rule:evenodd;stroke:#00aa3f;stroke-width:1pt;stroke-opacity:1;fill:#00aa3f;fill-opacity:1"
178− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
179− id="path1121" />
180− </marker>
181− <marker
182− inkscape:isstock="true"
183− style="overflow:visible;"
184− id="marker1117"
185− refX="0.0"
186− refY="0.0"
187− orient="auto"
188− inkscape:stockid="Arrow1Mend">
189− <path
190− transform="scale(0.4) rotate(180) translate(10,0)"
191− style="fill-rule:evenodd;stroke:#00aa3f;stroke-width:1pt;stroke-opacity:1;fill:#00aa3f;fill-opacity:1"
192− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
193− id="path1115" />
194− </marker>
195− <marker
196− inkscape:stockid="Arrow1Mend"
197− orient="auto"
198− refY="0.0"
199− refX="0.0"
200− id="marker1111"
201− style="overflow:visible;"
202− inkscape:isstock="true"
203− inkscape:collect="always">
204− <path
205− id="path1109"
206− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
207− style="fill-rule:evenodd;stroke:#00aa3f;stroke-width:1pt;stroke-opacity:1;fill:#00aa3f;fill-opacity:1"
208− transform="scale(0.4) rotate(180) translate(10,0)" />
209− </marker>
210− <marker
211− inkscape:isstock="true"
212− style="overflow:visible;"
213− id="marker1105"
214− refX="0.0"
215− refY="0.0"
216− orient="auto"
217− inkscape:stockid="Arrow1Mend"
218− inkscape:collect="always">
219− <path
220− transform="scale(0.4) rotate(180) translate(10,0)"
221− style="fill-rule:evenodd;stroke:#00aa3f;stroke-width:1pt;stroke-opacity:1;fill:#00aa3f;fill-opacity:1"
222− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
223− id="path1103" />
224− </marker>
225− <marker
226− inkscape:isstock="true"
227− style="overflow:visible;"
228− id="marker1057"
229− refX="0.0"
230− refY="0.0"
231− orient="auto"
232− inkscape:stockid="Arrow1Mend">
233− <path
234− transform="scale(0.4) rotate(180) translate(10,0)"
235− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
236− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
237− id="path1055" />
238− </marker>
239− <marker
240− inkscape:stockid="Arrow1Mend"
241− orient="auto"
242− refY="0.0"
243− refX="0.0"
244− id="marker1045"
245− style="overflow:visible;"
246− inkscape:isstock="true"
247− inkscape:collect="always">
248− <path
249− id="path1043"
250− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
251− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
252− transform="scale(0.4) rotate(180) translate(10,0)" />
253− </marker>
254− <marker
255− inkscape:stockid="Arrow1Mend"
256− orient="auto"
257− refY="0.0"
258− refX="0.0"
259− id="marker1033"
260− style="overflow:visible;"
261− inkscape:isstock="true">
262− <path
263− id="path1031"
264− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
265− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
266− transform="scale(0.4) rotate(180) translate(10,0)" />
267− </marker>
268− <marker
269− inkscape:stockid="Arrow1Mend"
270− orient="auto"
271− refY="0.0"
272− refX="0.0"
273− id="marker1027"
274− style="overflow:visible;"
275− inkscape:isstock="true">
276− <path
277− id="path1025"
278− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
279− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
280− transform="scale(0.4) rotate(180) translate(10,0)" />
281− </marker>
282− <marker
283− inkscape:isstock="true"
284− style="overflow:visible;"
285− id="marker1015"
286− refX="0.0"
287− refY="0.0"
288− orient="auto"
289− inkscape:stockid="Arrow1Mend"
290− inkscape:collect="always">
291− <path
292− transform="scale(0.4) rotate(180) translate(10,0)"
293− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
294− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
295− id="path1013" />
296− </marker>
297− <marker
298− inkscape:isstock="true"
299− style="overflow:visible;"
300− id="marker1009"
301− refX="0.0"
302− refY="0.0"
303− orient="auto"
304− inkscape:stockid="Arrow1Mend">
305− <path
306− transform="scale(0.4) rotate(180) translate(10,0)"
307− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
308− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
309− id="path1007" />
310− </marker>
311− <marker
312− inkscape:isstock="true"
313− style="overflow:visible;"
314− id="marker1003"
315− refX="0.0"
316− refY="0.0"
317− orient="auto"
318− inkscape:stockid="Arrow1Mend">
319− <path
320− transform="scale(0.4) rotate(180) translate(10,0)"
321− style="fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;stroke-opacity:1;fill:#ff0000;fill-opacity:1"
322− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
323− id="path1001" />
324− </marker>
325− <marker
326− inkscape:stockid="Arrow1Mend"
327− orient="auto"
328− refY="0.0"
329− refX="0.0"
330− id="marker997"
331− style="overflow:visible;"
332− inkscape:isstock="true"
333− inkscape:collect="always">
334− <path
335− id="path995"
336− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
337− style="fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;stroke-opacity:1;fill:#ff0000;fill-opacity:1"
338− transform="scale(0.4) rotate(180) translate(10,0)" />
339− </marker>
340− <marker
341− inkscape:isstock="true"
342− style="overflow:visible;"
343− id="marker991"
344− refX="0.0"
345− refY="0.0"
346− orient="auto"
347− inkscape:stockid="Arrow1Mend"
348− inkscape:collect="always">
349− <path
350− transform="scale(0.4) rotate(180) translate(10,0)"
351− style="fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;stroke-opacity:1;fill:#ff0000;fill-opacity:1"
352− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
353− id="path989" />
354− </marker>
355− <marker
356− inkscape:stockid="Arrow1Mend"
357− orient="auto"
358− refY="0.0"
359− refX="0.0"
360− id="marker967"
361− style="overflow:visible;"
362− inkscape:isstock="true"
363− inkscape:collect="always">
364− <path
365− id="path965"
366− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
367− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
368− transform="scale(0.4) rotate(180) translate(10,0)" />
369− </marker>
370− <marker
371− inkscape:isstock="true"
372− style="overflow:visible;"
373− id="marker961"
374− refX="0.0"
375− refY="0.0"
376− orient="auto"
377− inkscape:stockid="Arrow1Mend"
378− inkscape:collect="always">
379− <path
380− transform="scale(0.4) rotate(180) translate(10,0)"
381− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
382− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
383− id="path959" />
384− </marker>
385− <marker
386− inkscape:isstock="true"
387− style="overflow:visible;"
388− id="marker3617"
389− refX="0.0"
390− refY="0.0"
391− orient="auto"
392− inkscape:stockid="Arrow1Mend">
393− <path
394− transform="scale(0.4) rotate(180) translate(10,0)"
395− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
396− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
397− id="path3615" />
398− </marker>
399− <marker
400− inkscape:stockid="Arrow1Mend"
401− orient="auto"
402− refY="0.0"
403− refX="0.0"
404− id="marker2049"
405− style="overflow:visible;"
406− inkscape:isstock="true"
407− inkscape:collect="always">
408− <path
409− id="path2047"
410− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
411− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
412− transform="scale(0.4) rotate(180) translate(10,0)" />
413− </marker>
414− <marker
415− inkscape:isstock="true"
416− style="overflow:visible;"
417− id="marker1539"
418− refX="0.0"
419− refY="0.0"
420− orient="auto"
421− inkscape:stockid="Arrow1Mend"
422− inkscape:collect="always">
423− <path
424− transform="scale(0.4) rotate(180) translate(10,0)"
425− style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
426− d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
427− id="path1537" />
428− </marker>
429− </defs>
430− <sodipodi:namedview
431− id="base"
432− pagecolor="#ffffff"
433− bordercolor="#666666"
434− borderopacity="1.0"
435− inkscape:pageopacity="0.0"
436− inkscape:pageshadow="2"
437− inkscape:zoom="1"
438− inkscape:cx="368.33949"
439− inkscape:cy="547.05121"
440− inkscape:document-units="mm"
441− inkscape:current-layer="layer1"
442− showgrid="false"
443− inkscape:window-width="1800"
444− inkscape:window-height="1011"
445− inkscape:window-x="86"
446− inkscape:window-y="0"
447− inkscape:window-maximized="0"
448− inkscape:snap-nodes="false" />
449− <metadata
450− id="metadata5">
451− <rdf:RDF>
452− <cc:Work
453− rdf:about="">
454− <dc:format>image/svg+xml</dc:format>
455− <dc:type
456− rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
457− <dc:title />
458− </cc:Work>
459− </rdf:RDF>
460− </metadata>
461− <g
462− inkscape:label="Layer 1"
463− inkscape:groupmode="layer"
464− id="layer1">
465− <text
466− inkscape:export-ydpi="61.120499"
467− inkscape:export-xdpi="61.120499"
468− id="text854"
469− y="119.72919"
470− x="131.23334"
471− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
472− xml:space="preserve"><tspan
473− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';stroke-width:0.26458332"
474− y="129.46077"
475− x="131.23334"
476− id="tspan852"
477− sodipodi:role="line" /></text>
478− <rect
479− inkscape:export-ydpi="61.120499"
480− inkscape:export-xdpi="61.120499"
481− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
482− id="rect875"
483− width="43.656246"
484− height="18.520832"
485− x="92.339577"
486− y="110.20418" />
487− <path
488− inkscape:export-ydpi="61.120499"
489− inkscape:export-xdpi="61.120499"
490− inkscape:connector-curvature="0"
491− id="path881"
492− d="m 135.73129,118.93554 16.66875,-0.26459"
493− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker2049)" />
494− <text
495− inkscape:export-ydpi="61.120499"
496− inkscape:export-xdpi="61.120499"
497− id="text895"
498− y="115.76046"
499− x="138.37698"
500− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
501− xml:space="preserve"><tspan
502− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';stroke-width:0.26458332"
503− y="115.76046"
504− x="138.37698"
505− id="tspan893"
506− sodipodi:role="line">PTerm</tspan></text>
507− <text
508− inkscape:export-ydpi="61.120499"
509− inkscape:export-xdpi="61.120499"
510− id="text903"
511− y="115.23129"
512− x="93.927078"
513− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
514− xml:space="preserve"><tspan
515− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332"
516− y="115.23129"
517− x="93.927078"
518− id="tspan901"
519− sodipodi:role="line">module Idris.Parser</tspan><tspan
520− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332"
521− y="128.46045"
522− x="93.927078"
523− sodipodi:role="line"
524− id="tspan1021" /></text>
525− <rect
526− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
527− id="rect905"
528− width="44.185421"
529− height="18.785423"
530− x="40.463421"
531− y="141.50723"
532− inkscape:export-xdpi="61.120499"
533− inkscape:export-ydpi="61.120499" />
534− <rect
535− y="155.183"
536− x="95.51458"
537− height="18.256256"
538− width="49.212498"
539− id="rect907"
540− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
541− inkscape:export-xdpi="61.120499"
542− inkscape:export-ydpi="61.120499" />
543− <path
544− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker961)"
545− d="m 84.648837,152.88468 9.013662,7.32603"
546− id="path909"
547− inkscape:connector-curvature="0"
548− inkscape:export-xdpi="61.120499"
549− inkscape:export-ydpi="61.120499"
550− sodipodi:nodetypes="cc" />
551− <path
552− inkscape:connector-curvature="0"
553− id="path911"
554− d="m 22.471756,152.09108 16.66875,-0.26459"
555− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1539)"
556− inkscape:export-xdpi="61.120499"
557− inkscape:export-ydpi="61.120499" />
558− <text
559− xml:space="preserve"
560− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
561− x="24.059256"
562− y="148.91547"
563− id="text917"
564− inkscape:export-xdpi="61.120499"
565− inkscape:export-ydpi="61.120499"><tspan
566− sodipodi:role="line"
567− id="tspan915"
568− x="24.059256"
569− y="148.91547"
570− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';stroke-width:0.26458332">String</tspan></text>
571− <text
572− id="text923"
573− y="137.72075"
574− x="65.087494"
575− style="font-style:normal;font-weight:normal;font-size:4.23333311px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
576− xml:space="preserve"
577− inkscape:export-xdpi="61.120499"
578− inkscape:export-ydpi="61.120499"><tspan
579− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';stroke-width:0.26458332"
580− y="137.72075"
581− x="65.087494"
582− sodipodi:role="line"
583− id="tspan921">List (TokenData Token)</tspan></text>
584− <text
585− id="text931"
586− y="218.41846"
587− x="36.512497"
588− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
589− xml:space="preserve"
590− inkscape:export-xdpi="61.120499"
591− inkscape:export-ydpi="61.120499"><tspan
592− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;"
593− y="218.41846"
594− x="36.512497"
595− id="tspan929"
596− sodipodi:role="line">module Text.Lexer</tspan></text>
597− <text
598− xml:space="preserve"
599− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
600− x="98.160408"
601− y="161.00386"
602− id="text935"
603− inkscape:export-xdpi="61.120499"
604− inkscape:export-ydpi="61.120499"><tspan
605− sodipodi:role="line"
606− id="tspan933"
607− x="98.160408"
608− y="161.00386"
609− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332">module Parser.Support</tspan></text>
610− <rect
611− inkscape:export-ydpi="61.120499"
612− inkscape:export-xdpi="61.120499"
613− y="214.18488"
614− x="32.01458"
615− height="6.3500061"
616− width="43.656254"
617− id="rect937"
618− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
619− <rect
620− inkscape:export-ydpi="61.120499"
621− inkscape:export-xdpi="61.120499"
622− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
623− id="rect939"
624− width="42.862495"
625− height="6.8791728"
626− x="94.985413"
627− y="214.18488" />
628− <text
629− inkscape:export-ydpi="61.120499"
630− inkscape:export-xdpi="61.120499"
631− xml:space="preserve"
632− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
633− x="42.31551"
634− y="147.59224"
635− id="text951"><tspan
636− sodipodi:role="line"
637− id="tspan949"
638− x="42.31551"
639− y="147.59224"
640− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332">module Parser.Lexer</tspan></text>
641− <path
642− sodipodi:nodetypes="cc"
643− inkscape:export-ydpi="61.120499"
644− inkscape:export-xdpi="61.120499"
645− inkscape:connector-curvature="0"
646− id="path963"
647− d="m 53.299561,213.22831 1.53604,-51.85834"
648− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker967)" />
649− <text
650− inkscape:export-ydpi="61.120499"
651− inkscape:export-xdpi="61.120499"
652− xml:space="preserve"
653− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
654− x="23.220526"
655− y="251.01649"
656− id="text971"><tspan
657− sodipodi:role="line"
658− id="tspan969"
659− x="23.220526"
660− y="251.01649"
661− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;">module Text.Lexer.Core</tspan></text>
662− <rect
663− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
664− id="rect973"
665− width="47.889587"
666− height="6.3500061"
667− x="21.633026"
668− y="246.51833"
669− inkscape:export-xdpi="61.120499"
670− inkscape:export-ydpi="61.120499" />
671− <path
672− style="fill:none;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker991)"
673− d="m 48.369316,228.83873 0.04943,-6.71548"
674− id="path975"
675− inkscape:connector-curvature="0"
676− inkscape:export-xdpi="61.120499"
677− inkscape:export-ydpi="61.120499"
678− sodipodi:nodetypes="cc" />
679− <text
680− id="text979"
681− y="241.96643"
682− x="23.283329"
683− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
684− xml:space="preserve"
685− inkscape:export-xdpi="61.120499"
686− inkscape:export-ydpi="61.120499"><tspan
687− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;"
688− y="241.96643"
689− x="23.283329"
690− id="tspan977"
691− sodipodi:role="line">module Text.Quantity</tspan></text>
692− <rect
693− inkscape:export-ydpi="61.120499"
694− inkscape:export-xdpi="61.120499"
695− y="237.46826"
696− x="21.695829"
697− height="6.2469702"
698− width="43.853985"
699− id="rect981"
700− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
701− <text
702− inkscape:export-ydpi="61.120499"
703− inkscape:export-xdpi="61.120499"
704− xml:space="preserve"
705− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
706− x="23.18244"
707− y="233.68523"
708− id="text985"><tspan
709− sodipodi:role="line"
710− id="tspan983"
711− x="23.18244"
712− y="233.68523"
713− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;">module Text.Token</tspan></text>
714− <rect
715− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
716− id="rect987"
717− width="39.011257"
718− height="5.9464455"
719− x="21.59494"
720− y="229.18706"
721− inkscape:export-xdpi="61.120499"
722− inkscape:export-ydpi="61.120499" />
723− <path
724− sodipodi:nodetypes="cc"
725− inkscape:export-ydpi="61.120499"
726− inkscape:export-xdpi="61.120499"
727− inkscape:connector-curvature="0"
728− id="path993"
729− d="M 62.998384,237.01083 62.846037,221.92147"
730− style="fill:#ff0000;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker997)" />
731− <path
732− style="fill:#ff0000;stroke:#ff0000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1003)"
733− d="M 67.336659,246.29272 67.083422,221.71969"
734− id="path999"
735− inkscape:connector-curvature="0"
736− inkscape:export-xdpi="61.120499"
737− inkscape:export-ydpi="61.120499"
738− sodipodi:nodetypes="cc" />
739− <path
740− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1009)"
741− d="M 73.937074,214.02206 94.72083,169.47102"
742− id="path1005"
743− inkscape:connector-curvature="0"
744− inkscape:export-xdpi="61.120499"
745− inkscape:export-ydpi="61.120499"
746− sodipodi:nodetypes="cc" />
747− <path
748− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1015)"
749− d="M 108.0684,213.75748 108.0169,173.5408"
750− id="path1011"
751− inkscape:connector-curvature="0"
752− inkscape:export-xdpi="61.120499"
753− inkscape:export-ydpi="61.120499"
754− sodipodi:nodetypes="cc" />
755− <text
756− inkscape:export-ydpi="61.120499"
757− inkscape:export-xdpi="61.120499"
758− id="text1019"
759− y="218.94762"
760− x="96.837494"
761− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
762− xml:space="preserve"><tspan
763− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;"
764− y="218.94762"
765− x="96.837494"
766− id="tspan1017"
767− sodipodi:role="line">module Text.Parser</tspan></text>
768− <path
769− sodipodi:nodetypes="cc"
770− inkscape:export-ydpi="61.120499"
771− inkscape:export-xdpi="61.120499"
772− inkscape:connector-curvature="0"
773− id="path1023"
774− d="m 113.62466,154.75539 0.0397,-25.06978"
775− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1027)" />
776− <path
777− sodipodi:nodetypes="cc"
778− inkscape:export-ydpi="61.120499"
779− inkscape:export-xdpi="61.120499"
780− inkscape:connector-curvature="0"
781− id="path1029"
782− d="M 83.757032,147.15485 97.991855,129.77582"
783− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1033)" />
784− <rect
785− y="142.91107"
786− x="118.15033"
787− height="6.6968417"
788− width="45.2328"
789− id="rect1035"
790− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
791− inkscape:export-xdpi="61.120499"
792− inkscape:export-ydpi="61.120499" />
793− <path
794− sodipodi:nodetypes="cc"
795− inkscape:export-ydpi="61.120499"
796− inkscape:export-xdpi="61.120499"
797− inkscape:connector-curvature="0"
798− id="path1037"
799− d="m 121.83513,142.5835 -0.0515,-12.72267"
800− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1057)" />
801− <text
802− xml:space="preserve"
803− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
804− x="120.00241"
805− y="147.67372"
806− id="text1041"
807− inkscape:export-xdpi="61.120499"
808− inkscape:export-ydpi="61.120499"><tspan
809− sodipodi:role="line"
810− id="tspan1039"
811− x="120.00241"
812− y="147.67372"
813− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332">module TTImp.TTImp</tspan></text>
814− <rect
815− inkscape:export-ydpi="61.120499"
816− inkscape:export-xdpi="61.120499"
817− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
818− id="rect1047"
819− width="42.862495"
820− height="6.8791728"
821− x="125.28364"
822− y="133.0603" />
823− <path
824− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1045)"
825− d="m 145.18016,132.82376 -9.18434,-4.09859"
826− id="path1049"
827− inkscape:connector-curvature="0"
828− inkscape:export-xdpi="61.120499"
829− inkscape:export-ydpi="61.120499"
830− sodipodi:nodetypes="cc" />
831− <text
832− inkscape:export-ydpi="61.120499"
833− inkscape:export-xdpi="61.120499"
834− id="text1053"
835− y="137.82295"
836− x="127.13572"
837− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
838− xml:space="preserve"><tspan
839− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332"
840− y="137.82295"
841− x="127.13572"
842− id="tspan1051"
843− sodipodi:role="line">module Idris.Syntax</tspan></text>
844− <rect
845− inkscape:export-ydpi="61.120499"
846− inkscape:export-xdpi="61.120499"
847− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#00871c;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
848− id="rect1061"
849− width="59.266659"
850− height="16.13958"
851− x="97.102074"
852− y="186.93335" />
853− <path
854− inkscape:export-ydpi="61.120499"
855− inkscape:export-xdpi="61.120499"
856− inkscape:connector-curvature="0"
857− id="path1063"
858− d="m 76.993749,160.21044 18.785417,28.83958"
859− style="fill:none;stroke:#00aa3f;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1105)"
860− sodipodi:nodetypes="cc" />
861− <text
862− inkscape:export-ydpi="61.120499"
863− inkscape:export-xdpi="61.120499"
864− id="text1081"
865− y="192.48962"
866− x="157.95586"
867− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#008000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
868− xml:space="preserve"><tspan
869− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332"
870− y="192.48962"
871− x="157.95586"
872− id="tspan1079"
873− sodipodi:role="line">SExp</tspan></text>
874− <text
875− inkscape:export-ydpi="61.120499"
876− inkscape:export-xdpi="61.120499"
877− id="text1089"
878− y="192.75421"
879− x="98.954155"
880− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#008000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
881− xml:space="preserve"><tspan
882− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332"
883− y="192.75421"
884− x="98.954155"
885− id="tspan1087"
886− sodipodi:role="line">module Idris.IDEMode.Parser</tspan></text>
887− <rect
888− inkscape:export-ydpi="61.120499"
889− inkscape:export-xdpi="61.120499"
890− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#7c007d;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
891− id="rect1097"
892− width="55.033333"
893− height="14.287498"
894− x="20.637447"
895− y="52.524986" />
896− <text
897− inkscape:export-ydpi="61.120499"
898− inkscape:export-xdpi="61.120499"
899− id="text1101"
900− y="58.610428"
901− x="23.54781"
902− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#800080;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
903− xml:space="preserve"><tspan
904− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#800080;stroke-width:0.26458332;"
905− y="58.610428"
906− x="23.54781"
907− id="tspan1099"
908− sodipodi:role="line">module Idris.REPL</tspan></text>
909− <path
910− sodipodi:nodetypes="cc"
911− style="fill:none;stroke:#00aa3f;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1111)"
912− d="m 112.97708,174.23335 0,14.02292"
913− id="path1107"
914− inkscape:connector-curvature="0"
915− inkscape:export-xdpi="61.120499"
916− inkscape:export-ydpi="61.120499" />
917− <path
918− inkscape:export-ydpi="61.120499"
919− inkscape:export-xdpi="61.120499"
920− inkscape:connector-curvature="0"
921− id="path1113"
922− d="m 148.43125,150.15592 0.26458,35.71911"
923− style="fill:none;stroke:#00aa3f;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1117)"
924− sodipodi:nodetypes="cc" />
925− <path
926− inkscape:export-ydpi="61.120499"
927− inkscape:export-xdpi="61.120499"
928− inkscape:connector-curvature="0"
929− id="path1119"
930− d="m 156.56889,195.56696 13.16435,-0.41532"
931− style="fill:none;stroke:#00aa3f;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1123)"
932− sodipodi:nodetypes="cc" />
933− <text
934− id="text950"
935− y="104.70191"
936− x="22.426785"
937− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
938− xml:space="preserve"
939− inkscape:export-xdpi="61.120499"
940− inkscape:export-ydpi="61.120499"><tspan
941− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332"
942− y="104.70191"
943− x="22.426785"
944− id="tspan948"
945− sodipodi:role="line">module Core.Core</tspan></text>
946− <rect
947− inkscape:export-ydpi="61.120499"
948− inkscape:export-xdpi="61.120499"
949− y="100.20374"
950− x="20.839275"
951− height="9.7895899"
952− width="47.889587"
953− id="rect952"
954− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
955− <text
956− inkscape:export-ydpi="61.120499"
957− inkscape:export-xdpi="61.120499"
958− xml:space="preserve"
959− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
960− x="22.955944"
961− y="108.40608"
962− id="text956"><tspan
963− sodipodi:role="line"
964− id="tspan954"
965− x="22.955944"
966− y="108.40608"
967− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:3.52777767px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332">error messages</tspan></text>
968− <text
969− inkscape:export-ydpi="61.120499"
970− inkscape:export-xdpi="61.120499"
971− xml:space="preserve"
972− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
973− x="79.312202"
974− y="92.266502"
975− id="text960"><tspan
976− sodipodi:role="line"
977− id="tspan958"
978− x="79.312202"
979− y="92.266502"
980− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332">module Core.CompileExpr</tspan></text>
981− <rect
982− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
983− id="rect962"
984− width="61.912495"
985− height="18.785419"
986− x="77.724693"
987− y="87.768333"
988− inkscape:export-xdpi="61.120499"
989− inkscape:export-ydpi="61.120499" />
990− <text
991− id="text966"
992− y="95.970665"
993− x="79.841362"
994− style="font-style:normal;font-weight:normal;font-size:3.52777767px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
995− xml:space="preserve"
996− inkscape:export-xdpi="61.120499"
997− inkscape:export-ydpi="61.120499"><tspan
998− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:3.52777767px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
999− y="95.970665"
1000− x="79.841362"
1001− sodipodi:role="line"
1002− id="tspan968">Representation of expressions ready</tspan><tspan
1003− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:3.52777767px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1004− y="100.38039"
1005− x="79.841362"
1006− sodipodi:role="line"
1007− id="tspan974">for compiling: CExp</tspan><tspan
1008− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:3.52777767px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1009− y="104.79011"
1010− x="79.841362"
1011− sodipodi:role="line"
1012− id="tspan972">Type erased, explicit case trees</tspan></text>
1013− <text
1014− inkscape:export-ydpi="61.120499"
1015− inkscape:export-xdpi="61.120499"
1016− xml:space="preserve"
1017− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
1018− x="22.162193"
1019− y="73.217979"
1020− id="text978"><tspan
1021− sodipodi:role="line"
1022− id="tspan976"
1023− x="22.162193"
1024− y="73.217979"
1025− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332">module Idris.CommandLine</tspan></text>
1026− <rect
1027− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
1028− id="rect980"
1029− width="55.827087"
1030− height="10.054173"
1031− x="20.574694"
1032− y="68.719742"
1033− inkscape:export-xdpi="61.120499"
1034− inkscape:export-ydpi="61.120499" />
1035− <text
1036− id="text984"
1037− y="76.92215"
1038− x="22.69136"
1039− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
1040− xml:space="preserve"
1041− inkscape:export-xdpi="61.120499"
1042− inkscape:export-ydpi="61.120499"><tspan
1043− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:3.52777767px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1044− y="76.92215"
1045− x="22.69136"
1046− id="tspan982"
1047− sodipodi:role="line">command line options</tspan></text>
1048− <text
1049− id="text988"
1050− y="89.886726"
1051− x="22.162193"
1052− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
1053− xml:space="preserve"
1054− inkscape:export-xdpi="61.120499"
1055− inkscape:export-ydpi="61.120499"><tspan
1056− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#0000ff;stroke-width:0.26458332"
1057− y="89.886726"
1058− x="22.162193"
1059− id="tspan986"
1060− sodipodi:role="line">module Idris.Error</tspan></text>
1061− <rect
1062− inkscape:export-ydpi="61.120499"
1063− inkscape:export-xdpi="61.120499"
1064− y="85.388489"
1065− x="20.574694"
1066− height="9.5250101"
1067− width="37.835419"
1068− id="rect990"
1069− style="opacity:1;vector-effect:none;fill:none;fill-opacity:0.97596154;fill-rule:evenodd;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
1070− <text
1071− inkscape:export-ydpi="61.120499"
1072− inkscape:export-xdpi="61.120499"
1073− xml:space="preserve"
1074− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none;stroke-width:0.26458332"
1075− x="22.69136"
1076− y="93.590897"
1077− id="text994"><tspan
1078− sodipodi:role="line"
1079− id="tspan992"
1080− x="22.69136"
1081− y="93.590897"
1082− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:3.52777767px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332">perror</tspan></text>
1083− <path
1084− style="fill:none;stroke:#0000ff;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1000)"
1085− d="m 66.876776,99.410007 c -0.17822,-10.50534 -0.880145,-7.9985 -7.143748,-8.99444"
1086− id="path996"
1087− inkscape:connector-curvature="0"
1088− inkscape:export-xdpi="61.120499"
1089− inkscape:export-ydpi="61.120499"
1090− sodipodi:nodetypes="cc" />
1091− <path
1092− style="fill:none;stroke:#000000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
1093− d="M 15.081249,210.48125 H 200.02499"
1094− id="path1201"
1095− inkscape:connector-curvature="0"
1096− sodipodi:nodetypes="cc"
1097− inkscape:export-xdpi="61.120499"
1098− inkscape:export-ydpi="61.120499" />
1099− <path
1100− style="fill:none;stroke:#000000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-end:url(#Arrow1Mend)"
1101− d="m 154.78125,214.97917 -0.26459,40.21666"
1102− id="path1203"
1103− inkscape:connector-curvature="0"
1104− inkscape:export-xdpi="61.120499"
1105− inkscape:export-ydpi="61.120499" />
1106− <text
1107− xml:space="preserve"
1108− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:0.40000001;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
1109− x="158.75"
1110− y="226.09137"
1111− id="text1473"
1112− inkscape:export-xdpi="61.120499"
1113− inkscape:export-ydpi="61.120499"><tspan
1114− sodipodi:role="line"
1115− id="tspan1471"
1116− x="158.75"
1117− y="226.09137"
1118− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;">'text' modules are</tspan><tspan
1119− sodipodi:role="line"
1120− x="158.75"
1121− y="230.92491"
1122− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;"
1123− id="tspan1475">also in Idris 1</tspan><tspan
1124− sodipodi:role="line"
1125− x="158.75"
1126− y="235.75845"
1127− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#ff0000;stroke-width:0.26458332;"
1128− id="tspan1477">library.</tspan></text>
1129− <path
1130− inkscape:connector-curvature="0"
1131− id="path957"
1132− d="m 172.77292,166.03125 -0.26459,40.21666"
1133− style="fill:none;stroke:#000000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:url(#marker969);marker-end:url(#marker973)"
1134− inkscape:export-xdpi="61.120499"
1135− inkscape:export-ydpi="61.120499" />
1136− <text
1137− inkscape:export-ydpi="61.120499"
1138− inkscape:export-xdpi="61.120499"
1139− id="text965"
1140− y="177.14345"
1141− x="176.74167"
1142− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:0.40000001;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#008000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
1143− xml:space="preserve"><tspan
1144− id="tspan963"
1145− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1146− y="177.14345"
1147− x="176.74167"
1148− sodipodi:role="line">'IDEMode is for</tspan><tspan
1149− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1150− y="181.97699"
1151− x="176.74167"
1152− sodipodi:role="line"
1153− id="tspan981">communicating</tspan><tspan
1154− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1155− y="186.81053"
1156− x="176.74167"
1157− sodipodi:role="line"
1158− id="tspan984">with external</tspan><tspan
1159− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1160− y="191.64406"
1161− x="176.74167"
1162− sodipodi:role="line"
1163− id="tspan987">editors. It uses</tspan><tspan
1164− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1165− y="196.4776"
1166− x="176.74167"
1167− sodipodi:role="line"
1168− id="tspan989">SExp structure</tspan><tspan
1169− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1170− y="201.31114"
1171− x="176.74167"
1172− sodipodi:role="line"
1173− id="tspan991">which is Lisp-</tspan><tspan
1174− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#008000;stroke-width:0.26458332;"
1175− y="206.14468"
1176− x="176.74167"
1177− sodipodi:role="line"
1178− id="tspan993">like.</tspan></text>
1179− <path
1180− style="fill:none;stroke:#000000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:url(#marker1017);marker-end:url(#marker1021)"
1181− d="m 172.77292,110.20417 -0.26459,40.21666"
1182− id="path997"
1183− inkscape:connector-curvature="0"
1184− inkscape:export-xdpi="61.120499"
1185− inkscape:export-ydpi="61.120499" />
1186− <text
1187− xml:space="preserve"
1188− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:0.40000001;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
1189− x="176.21251"
1190− y="115.76012"
1191− id="text1013"
1192− inkscape:export-xdpi="61.120499"
1193− inkscape:export-ydpi="61.120499"><tspan
1194− id="tspan1011"
1195− sodipodi:role="line"
1196− x="176.21251"
1197− y="115.76012"
1198− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332">Idris.Parser</tspan><tspan
1199− sodipodi:role="line"
1200− x="176.21251"
1201− y="120.59366"
1202− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1203− id="tspan1050">reads from a</tspan><tspan
1204− sodipodi:role="line"
1205− x="176.21251"
1206− y="125.42719"
1207− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1208− id="tspan1052">file and outputs</tspan><tspan
1209− sodipodi:role="line"
1210− x="176.21251"
1211− y="130.26073"
1212− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1213− id="tspan1054">to a PTerm</tspan><tspan
1214− sodipodi:role="line"
1215− x="176.21251"
1216− y="135.09427"
1217− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#000000;stroke-width:0.26458332"
1218− id="tspan1056">structure.</tspan></text>
1219− <path
1220− inkscape:connector-curvature="0"
1221− id="path1058"
1222− d="m 171.97917,51.731253 -0.26459,19.57916"
1223− style="fill:none;stroke:#000000;stroke-width:0.70555556;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:url(#marker1074);marker-end:url(#marker1078)"
1224− sodipodi:nodetypes="cc"
1225− inkscape:export-xdpi="61.120499"
1226− inkscape:export-ydpi="61.120499" />
1227− <text
1228− inkscape:export-ydpi="61.120499"
1229− inkscape:export-xdpi="61.120499"
1230− id="text1070"
1231− y="57.287201"
1232− x="175.41876"
1233− style="font-style:normal;font-weight:normal;font-size:10.58333302px;line-height:0.40000001;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#800080;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
1234− xml:space="preserve"><tspan
1235− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#800080;stroke-width:0.26458332;"
1236− y="57.287201"
1237− x="175.41876"
1238− sodipodi:role="line"
1239− id="tspan1060">Idris.Parser</tspan><tspan
1240− id="tspan1068"
1241− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#800080;stroke-width:0.26458332;"
1242− y="62.120739"
1243− x="175.41876"
1244− sodipodi:role="line">reads from the</tspan><tspan
1245− style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:4.23333311px;line-height:0.40000001;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#800080;stroke-width:0.26458332;"
1246− y="66.954277"
1247− x="175.41876"
1248− sodipodi:role="line"
1249− id="tspan1089">command line.</tspan></text>
1250− </g>
1251−</svg>