@@ -15,127 +15,9 @@
15 version="1.1"
15 version="1.1"
17 inkscape:version="0.92.2 5c3e80d, 2017-08-06"
17 inkscape:version="0.92.2 5c3e80d, 2017-08-06"
18− sodipodi:docname="parserModules.svg">
18+ sodipodi:docname="modules.svg">
20 id="defs2">
20 id="defs2">
22− inkscape:isstock="true"
23− style="overflow:visible;"
28− inkscape:stockid="Arrow1Mend">
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 "
36− inkscape:isstock="true"
37− style="overflow:visible"
42− inkscape:stockid="Arrow1Mstart">
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 "
50− inkscape:stockid="Arrow1Mend"
55− style="overflow:visible;"
56− inkscape:isstock="true"
57− inkscape:collect="always">
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)" />
65− inkscape:stockid="Arrow1Mstart"
70− style="overflow:visible"
71− inkscape:isstock="true"
72− inkscape:collect="always">
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)" />
80− inkscape:isstock="true"
81− style="overflow:visible;"
86− inkscape:stockid="Arrow1Mend"
87− inkscape:collect="always">
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 "
95− inkscape:isstock="true"
96− style="overflow:visible"
101− inkscape:stockid="Arrow1Mstart"
102− inkscape:collect="always">
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 "
110− inkscape:stockid="Arrow1Mend"
115− style="overflow:visible;"
116− inkscape:isstock="true"
117− inkscape:collect="always">
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)" />
125− inkscape:stockid="Arrow1Mstart"
130− style="overflow:visible"
131− inkscape:isstock="true"
132− inkscape:collect="always">
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)" />
140 inkscape:isstock="true"
22 inkscape:isstock="true"
141 style="overflow:visible;"
23 style="overflow:visible;"
@@ -318,7 +200,7 @@
318 inkscape:stockid="Arrow1Mend">
200 inkscape:stockid="Arrow1Mend">
320 transform="scale(0.4) rotate(180) translate(10,0)"
202 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"
203+ style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;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 "
204 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" />
205 id="path1001" />
324 </marker>
206 </marker>
@@ -334,7 +216,7 @@
335 id="path995"
217 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 "
218 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"
219+ style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
338 transform="scale(0.4) rotate(180) translate(10,0)" />
220 transform="scale(0.4) rotate(180) translate(10,0)" />
339 </marker>
221 </marker>
@@ -348,7 +230,7 @@
348 inkscape:collect="always">
230 inkscape:collect="always">
350 transform="scale(0.4) rotate(180) translate(10,0)"
232 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"
233+ style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;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 "
234 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" />
235 id="path989" />
354 </marker>
236 </marker>
@@ -396,6 +278,21 @@
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 "
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 "
397 id="path3615" />
279 id="path3615" />
398 </marker>
280 </marker>
282+ inkscape:stockid="Arrow1Mend"
287+ style="overflow:visible;"
288+ inkscape:isstock="true"
289+ inkscape:collect="always">
292+ 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 "
293+ style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
294+ transform="scale(0.4) rotate(180) translate(10,0)" />
400 inkscape:stockid="Arrow1Mend"
297 inkscape:stockid="Arrow1Mend"
401 orient="auto"
298 orient="auto"
@@ -426,6 +323,21 @@
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 "
323 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" />
324 id="path1537" />
428 </marker>
325 </marker>
327+ inkscape:stockid="Arrow1Mend"
332+ style="overflow:visible;"
333+ inkscape:isstock="true"
334+ inkscape:collect="always">
337+ 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 "
338+ style="fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;stroke-opacity:1;fill:#0000ff;fill-opacity:1"
339+ transform="scale(0.4) rotate(180) translate(10,0)" />
430 <sodipodi:namedview
342 <sodipodi:namedview
431 id="base"
343 id="base"
@@ -436,16 +348,15 @@
436 inkscape:pageshadow="2"
348 inkscape:pageshadow="2"
437 inkscape:zoom="1"
349 inkscape:zoom="1"
438 inkscape:cx="368.33949"
350 inkscape:cx="368.33949"
439− inkscape:cy="547.05121"
351+ inkscape:cy="554.8721"
440 inkscape:document-units="mm"
352 inkscape:document-units="mm"
441 inkscape:current-layer="layer1"
353 inkscape:current-layer="layer1"
442 showgrid="false"
354 showgrid="false"
443− inkscape:window-width="1800"
355+ inkscape:window-width="1359"
444 inkscape:window-height="1011"
356 inkscape:window-height="1011"
445− inkscape:window-x="86"
357+ inkscape:window-x="-4"
446 inkscape:window-y="0"
358 inkscape:window-y="0"
447− inkscape:window-maximized="0"
359+ inkscape:window-maximized="0" />
448− inkscape:snap-nodes="false" />
449 <metadata
360 <metadata
450 id="metadata5">
361 id="metadata5">
451 <rdf:RDF>
362 <rdf:RDF>
@@ -462,6 +373,157 @@
462 inkscape:label="Layer 1"
373 inkscape:label="Layer 1"
463 inkscape:groupmode="layer"
374 inkscape:groupmode="layer"
464 id="layer1">
375 id="layer1">
377+ 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"
383+ inkscape:export-xdpi="61.120499"
384+ inkscape:export-ydpi="61.120499" />
391+ 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"
392+ inkscape:export-xdpi="61.120499"
393+ inkscape:export-ydpi="61.120499" />
395+ 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(#Arrow1Mend)"
396+ d="m 74.083333,61.25627 16.66875,-0.26459"
398+ inkscape:connector-curvature="0"
399+ inkscape:export-xdpi="61.120499"
400+ inkscape:export-ydpi="61.120499" />
402+ inkscape:connector-curvature="0"
404+ d="m 19.314583,61.520853 16.66875,-0.26459"
405+ 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)"
406+ inkscape:export-xdpi="61.120499"
407+ inkscape:export-ydpi="61.120499" />
409+ 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)"
410+ d="m 128.85208,60.991686 16.66875,-0.26459"
412+ inkscape:connector-curvature="0"
413+ inkscape:export-xdpi="61.120499"
414+ inkscape:export-ydpi="61.120499" />
416+ xml:space="preserve"
417+ 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"
421+ inkscape:export-xdpi="61.120499"
422+ inkscape:export-ydpi="61.120499"><tspan
423+ sodipodi:role="line"
427+ 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>
432+ 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"
433+ xml:space="preserve"
434+ inkscape:export-xdpi="61.120499"
435+ inkscape:export-ydpi="61.120499"><tspan
436+ 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"
439+ sodipodi:role="line"
440+ id="tspan2867">List</tspan><tspan
441+ 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"
444+ sodipodi:role="line"
445+ id="tspan2871">Token</tspan></text>
447+ xml:space="preserve"
448+ 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"
452+ inkscape:export-xdpi="61.120499"
453+ inkscape:export-ydpi="61.120499"><tspan
454+ sodipodi:role="line"
458+ 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">PTerm</tspan></text>
463+ 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"
464+ xml:space="preserve"
465+ inkscape:export-xdpi="61.120499"
466+ inkscape:export-ydpi="61.120499"><tspan
467+ 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"
471+ sodipodi:role="line">Lexer</tspan></text>
473+ xml:space="preserve"
474+ 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"
478+ inkscape:export-xdpi="61.120499"
479+ inkscape:export-ydpi="61.120499"><tspan
480+ sodipodi:role="line"
484+ 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">Parser</tspan></text>
486+ 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(#marker2891)"
487+ d="m 53.445833,44.322936 v 7.67291"
489+ inkscape:connector-curvature="0"
490+ sodipodi:nodetypes="cc"
491+ inkscape:export-xdpi="61.120499"
492+ inkscape:export-ydpi="61.120499" />
494+ sodipodi:nodetypes="cc"
495+ inkscape:connector-curvature="0"
497+ d="m 109.27292,44.322936 v 7.67291"
498+ 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(#marker3617)"
499+ inkscape:export-xdpi="61.120499"
500+ inkscape:export-ydpi="61.120499" />
505+ 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"
506+ xml:space="preserve"
507+ inkscape:export-xdpi="61.120499"
508+ inkscape:export-ydpi="61.120499"><tspan
509+ 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"
513+ sodipodi:role="line">Recogniser</tspan></text>
515+ xml:space="preserve"
516+ 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"
520+ inkscape:export-xdpi="61.120499"
521+ inkscape:export-ydpi="61.120499"><tspan
522+ sodipodi:role="line"
526+ 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">Grammar</tspan></text>
466 inkscape:export-ydpi="61.120499"
528 inkscape:export-ydpi="61.120499"
467 inkscape:export-xdpi="61.120499"
529 inkscape:export-xdpi="61.120499"
@@ -583,15 +645,15 @@
583 id="tspan921">List (TokenData Token)</tspan></text>
645 id="tspan921">List (TokenData Token)</tspan></text>
585 id="text931"
647 id="text931"
586− y="218.41846"
648+ y="184.2872"
587− x="36.512497"
649+ x="37.041664"
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;"
650+ 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"
589 xml:space="preserve"
651 xml:space="preserve"
590 inkscape:export-xdpi="61.120499"
652 inkscape:export-xdpi="61.120499"
591 inkscape:export-ydpi="61.120499"><tspan
653 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;"
654+ 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"
593− y="218.41846"
655+ y="184.2872"
594− x="36.512497"
656+ x="37.041664"
595 id="tspan929"
657 id="tspan929"
596 sodipodi:role="line">module Text.Lexer</tspan></text>
658 sodipodi:role="line">module Text.Lexer</tspan></text>
@@ -610,21 +672,21 @@
611 inkscape:export-ydpi="61.120499"
673 inkscape:export-ydpi="61.120499"
612 inkscape:export-xdpi="61.120499"
674 inkscape:export-xdpi="61.120499"
613− y="214.18488"
675+ y="180.05362"
614− x="32.01458"
676+ x="32.543747"
615 height="6.3500061"
677 height="6.3500061"
616 width="43.656254"
678 width="43.656254"
617 id="rect937"
679 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" />
680+ 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" />
620 inkscape:export-ydpi="61.120499"
682 inkscape:export-ydpi="61.120499"
621 inkscape:export-xdpi="61.120499"
683 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"
684+ 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"
623 id="rect939"
685 id="rect939"
624 width="42.862495"
686 width="42.862495"
625 height="6.8791728"
687 height="6.8791728"
626− x="94.985413"
688+ x="95.51458"
627− y="214.18488" />
689+ y="180.05362" />
629 inkscape:export-ydpi="61.120499"
691 inkscape:export-ydpi="61.120499"
630 inkscape:export-xdpi="61.120499"
692 inkscape:export-xdpi="61.120499"
@@ -644,33 +706,33 @@
644 inkscape:export-xdpi="61.120499"
706 inkscape:export-xdpi="61.120499"
645 inkscape:connector-curvature="0"
707 inkscape:connector-curvature="0"
646 id="path963"
708 id="path963"
647− d="m 53.299561,213.22831 1.53604,-51.85834"
709+ d="m 53.828728,179.89081 1.006873,-18.52084"
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)" />
710 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)" />
650 inkscape:export-ydpi="61.120499"
712 inkscape:export-ydpi="61.120499"
651 inkscape:export-xdpi="61.120499"
713 inkscape:export-xdpi="61.120499"
652 xml:space="preserve"
714 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;"
715+ 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"
654− x="23.220526"
716+ x="23.749693"
655− y="251.01649"
717+ y="216.88524"
656 id="text971"><tspan
718 id="text971"><tspan
657 sodipodi:role="line"
719 sodipodi:role="line"
658 id="tspan969"
720 id="tspan969"
659− x="23.220526"
721+ x="23.749693"
660− y="251.01649"
722+ y="216.88524"
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>
723+ 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 Text.Lexer.Core</tspan></text>
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"
725+ 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"
664 id="rect973"
726 id="rect973"
665 width="47.889587"
727 width="47.889587"
666 height="6.3500061"
728 height="6.3500061"
667− x="21.633026"
729+ x="22.162193"
668− y="246.51833"
730+ y="212.38707"
669 inkscape:export-xdpi="61.120499"
731 inkscape:export-xdpi="61.120499"
670 inkscape:export-ydpi="61.120499" />
732 inkscape:export-ydpi="61.120499" />
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)"
734+ 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(#marker991)"
673− d="m 48.369316,228.83873 0.04943,-6.71548"
735+ d="m 48.898483,194.70748 0.04943,-6.71548"
674 id="path975"
736 id="path975"
675 inkscape:connector-curvature="0"
737 inkscape:connector-curvature="0"
676 inkscape:export-xdpi="61.120499"
738 inkscape:export-xdpi="61.120499"
@@ -678,46 +740,46 @@
678 sodipodi:nodetypes="cc" />
740 sodipodi:nodetypes="cc" />
680 id="text979"
742 id="text979"
681− y="241.96643"
743+ y="207.83517"
682− x="23.283329"
744+ x="23.812496"
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;"
745+ 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"
684 xml:space="preserve"
746 xml:space="preserve"
685 inkscape:export-xdpi="61.120499"
747 inkscape:export-xdpi="61.120499"
686 inkscape:export-ydpi="61.120499"><tspan
748 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;"
749+ 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"
688− y="241.96643"
750+ y="207.83517"
689− x="23.283329"
751+ x="23.812496"
690 id="tspan977"
752 id="tspan977"
691 sodipodi:role="line">module Text.Quantity</tspan></text>
753 sodipodi:role="line">module Text.Quantity</tspan></text>
693 inkscape:export-ydpi="61.120499"
755 inkscape:export-ydpi="61.120499"
694 inkscape:export-xdpi="61.120499"
756 inkscape:export-xdpi="61.120499"
695− y="237.46826"
757+ y="203.33701"
696− x="21.695829"
758+ x="22.224997"
697 height="6.2469702"
759 height="6.2469702"
698 width="43.853985"
760 width="43.853985"
699 id="rect981"
761 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" />
762+ 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" />
702 inkscape:export-ydpi="61.120499"
764 inkscape:export-ydpi="61.120499"
703 inkscape:export-xdpi="61.120499"
765 inkscape:export-xdpi="61.120499"
704 xml:space="preserve"
766 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;"
767+ 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"
706− x="23.18244"
768+ x="23.711607"
707− y="233.68523"
769+ y="199.55397"
708 id="text985"><tspan
770 id="text985"><tspan
709 sodipodi:role="line"
771 sodipodi:role="line"
710 id="tspan983"
772 id="tspan983"
711− x="23.18244"
773+ x="23.711607"
712− y="233.68523"
774+ y="199.55397"
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>
775+ 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 Text.Token</tspan></text>
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"
777+ 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"
716 id="rect987"
778 id="rect987"
717 width="39.011257"
779 width="39.011257"
718 height="5.9464455"
780 height="5.9464455"
719− x="21.59494"
781+ x="22.124107"
720− y="229.18706"
782+ y="195.0558"
721 inkscape:export-xdpi="61.120499"
783 inkscape:export-xdpi="61.120499"
722 inkscape:export-ydpi="61.120499" />
784 inkscape:export-ydpi="61.120499" />
@@ -726,11 +788,11 @@
726 inkscape:export-xdpi="61.120499"
788 inkscape:export-xdpi="61.120499"
727 inkscape:connector-curvature="0"
789 inkscape:connector-curvature="0"
728 id="path993"
790 id="path993"
729− d="M 62.998384,237.01083 62.846037,221.92147"
791+ d="M 63.527551,202.87958 63.375204,187.79022"
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)" />
792+ 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(#marker997)" />
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)"
794+ 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(#marker1003)"
733− d="M 67.336659,246.29272 67.083422,221.71969"
795+ d="M 67.865826,212.16147 67.612589,187.58844"
734 id="path999"
796 id="path999"
735 inkscape:connector-curvature="0"
797 inkscape:connector-curvature="0"
736 inkscape:export-xdpi="61.120499"
798 inkscape:export-xdpi="61.120499"
@@ -738,7 +800,7 @@
738 sodipodi:nodetypes="cc" />
800 sodipodi:nodetypes="cc" />
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)"
802 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"
803+ d="M 74.466241,179.89081 95.51458,173.43977"
742 id="path1005"
804 id="path1005"
743 inkscape:connector-curvature="0"
805 inkscape:connector-curvature="0"
744 inkscape:export-xdpi="61.120499"
806 inkscape:export-xdpi="61.120499"
@@ -746,7 +808,7 @@
746 sodipodi:nodetypes="cc" />
808 sodipodi:nodetypes="cc" />
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)"
810 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"
811+ d="m 113.36007,180.68456 -0.0515,-6.61459"
750 id="path1011"
812 id="path1011"
751 inkscape:connector-curvature="0"
813 inkscape:connector-curvature="0"
752 inkscape:export-xdpi="61.120499"
814 inkscape:export-xdpi="61.120499"
@@ -756,13 +818,13 @@
756 inkscape:export-ydpi="61.120499"
818 inkscape:export-ydpi="61.120499"
757 inkscape:export-xdpi="61.120499"
819 inkscape:export-xdpi="61.120499"
758 id="text1019"
820 id="text1019"
759− y="218.94762"
821+ y="184.81636"
760− x="96.837494"
822+ x="97.366661"
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;"
823+ 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"
762 xml:space="preserve"><tspan
824 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;"
825+ 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"
764− y="218.94762"
826+ y="184.81636"
765− x="96.837494"
827+ x="97.366661"
766 id="tspan1017"
828 id="tspan1017"
767 sodipodi:role="line">module Text.Parser</tspan></text>
829 sodipodi:role="line">module Text.Parser</tspan></text>
@@ -848,68 +910,68 @@
848 id="rect1061"
910 id="rect1061"
849 width="59.266659"
911 width="59.266659"
850 height="16.13958"
912 height="16.13958"
851− x="97.102074"
913+ x="92.339577"
852− y="186.93335" />
914+ y="230.5896" />
854 inkscape:export-ydpi="61.120499"
916 inkscape:export-ydpi="61.120499"
855 inkscape:export-xdpi="61.120499"
917 inkscape:export-xdpi="61.120499"
856 inkscape:connector-curvature="0"
918 inkscape:connector-curvature="0"
857 id="path1063"
919 id="path1063"
858− d="m 76.993749,160.21044 18.785417,28.83958"
920+ d="m 76.993749,160.21044 21.695834,69.32083"
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)"
921 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" />
922 sodipodi:nodetypes="cc" />
862 inkscape:export-ydpi="61.120499"
924 inkscape:export-ydpi="61.120499"
863 inkscape:export-xdpi="61.120499"
925 inkscape:export-xdpi="61.120499"
864 id="text1081"
926 id="text1081"
865− y="192.48962"
927+ y="236.14587"
866− x="157.95586"
928+ x="153.19336"
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"
929 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
930 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"
931 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"
932+ y="236.14587"
871− x="157.95586"
933+ x="153.19336"
872 id="tspan1079"
934 id="tspan1079"
873− sodipodi:role="line">SExp</tspan></text>
935+ sodipodi:role="line">Either ParseError SExp</tspan></text>
875 inkscape:export-ydpi="61.120499"
937 inkscape:export-ydpi="61.120499"
876 inkscape:export-xdpi="61.120499"
938 inkscape:export-xdpi="61.120499"
877 id="text1089"
939 id="text1089"
878− y="192.75421"
940+ y="236.41046"
879− x="98.954155"
941+ x="94.191658"
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"
942+ 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
943 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"
944+ 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"
945+ y="236.41046"
884− x="98.954155"
946+ x="94.191658"
885 id="tspan1087"
947 id="tspan1087"
886 sodipodi:role="line">module Idris.IDEMode.Parser</tspan></text>
948 sodipodi:role="line">module Idris.IDEMode.Parser</tspan></text>
888 inkscape:export-ydpi="61.120499"
950 inkscape:export-ydpi="61.120499"
889 inkscape:export-xdpi="61.120499"
951 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"
952+ 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"
891 id="rect1097"
953 id="rect1097"
892− width="55.033333"
954+ width="35.983334"
893− height="14.287498"
955+ height="18.25625"
894− x="20.637447"
956+ x="124.08953"
895− y="52.524986" />
957+ y="18.393738" />
897 inkscape:export-ydpi="61.120499"
959 inkscape:export-ydpi="61.120499"
898 inkscape:export-xdpi="61.120499"
960 inkscape:export-xdpi="61.120499"
899 id="text1101"
961 id="text1101"
900− y="58.610428"
962+ y="24.479179"
901− x="23.54781"
963+ x="126.99989"
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;"
964+ 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"
903 xml:space="preserve"><tspan
965 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;"
966+ 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"
905− y="58.610428"
967+ y="24.479179"
906− x="23.54781"
968+ x="126.99989"
907 id="tspan1099"
969 id="tspan1099"
908 sodipodi:role="line">module Idris.REPL</tspan></text>
970 sodipodi:role="line">module Idris.REPL</tspan></text>
910 sodipodi:nodetypes="cc"
972 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)"
973 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"
974+ d="m 112.97708,187.46252 0.52917,41.80417"
913 id="path1107"
975 id="path1107"
914 inkscape:connector-curvature="0"
976 inkscape:connector-curvature="0"
915 inkscape:export-xdpi="61.120499"
977 inkscape:export-xdpi="61.120499"
@@ -919,7 +981,7 @@
919 inkscape:export-xdpi="61.120499"
981 inkscape:export-xdpi="61.120499"
920 inkscape:connector-curvature="0"
982 inkscape:connector-curvature="0"
921 id="path1113"
983 id="path1113"
922− d="m 148.43125,150.15592 0.26458,35.71911"
984+ d="m 144.72708,173.43925 -0.26458,56.35661"
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)"
985 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" />
986 sodipodi:nodetypes="cc" />
@@ -927,27 +989,27 @@
927 inkscape:export-xdpi="61.120499"
989 inkscape:export-xdpi="61.120499"
928 inkscape:connector-curvature="0"
990 inkscape:connector-curvature="0"
929 id="path1119"
991 id="path1119"
930− d="m 156.56889,195.56696 13.16435,-0.41532"
992+ d="m 151.80639,239.22321 44.91435,-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)"
993 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" />
994 sodipodi:nodetypes="cc" />
934 id="text950"
996 id="text950"
935− y="104.70191"
997+ y="236.19983"
936− x="22.426785"
998+ x="22.69136"
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"
999 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"
1000 xml:space="preserve"
939 inkscape:export-xdpi="61.120499"
1001 inkscape:export-xdpi="61.120499"
940 inkscape:export-ydpi="61.120499"><tspan
1002 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"
1003 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"
1004+ y="236.19983"
943− x="22.426785"
1005+ x="22.69136"
944 id="tspan948"
1006 id="tspan948"
945 sodipodi:role="line">module Core.Core</tspan></text>
1007 sodipodi:role="line">module Core.Core</tspan></text>
947 inkscape:export-ydpi="61.120499"
1009 inkscape:export-ydpi="61.120499"
948 inkscape:export-xdpi="61.120499"
1010 inkscape:export-xdpi="61.120499"
949− y="100.20374"
1011+ y="231.70166"
950− x="20.839275"
1012+ x="21.103861"
951 height="9.7895899"
1013 height="9.7895899"
952 width="47.889587"
1014 width="47.889587"
953 id="rect952"
1015 id="rect952"
@@ -957,57 +1019,57 @@
957 inkscape:export-xdpi="61.120499"
1019 inkscape:export-xdpi="61.120499"
958 xml:space="preserve"
1020 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"
1021 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"
1022+ x="23.220528"
961− y="108.40608"
1023+ y="239.90399"
962 id="text956"><tspan
1024 id="text956"><tspan
963 sodipodi:role="line"
1025 sodipodi:role="line"
964 id="tspan954"
1026 id="tspan954"
965− x="22.955944"
1027+ x="23.220528"
966− y="108.40608"
1028+ y="239.90399"
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>
1029 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>
969 inkscape:export-ydpi="61.120499"
1031 inkscape:export-ydpi="61.120499"
970 inkscape:export-xdpi="61.120499"
1032 inkscape:export-xdpi="61.120499"
971 xml:space="preserve"
1033 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"
1034 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"
1035+ x="22.69136"
974− y="92.266502"
1036+ y="252.33942"
975 id="text960"><tspan
1037 id="text960"><tspan
976 sodipodi:role="line"
1038 sodipodi:role="line"
977 id="tspan958"
1039 id="tspan958"
978− x="79.312202"
1040+ x="22.69136"
979− y="92.266502"
1041+ y="252.33942"
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>
1042 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>
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"
1044 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"
1045 id="rect962"
984 width="61.912495"
1046 width="61.912495"
985 height="18.785419"
1047 height="18.785419"
986− x="77.724693"
1048+ x="21.103861"
987− y="87.768333"
1049+ y="247.84125"
988 inkscape:export-xdpi="61.120499"
1050 inkscape:export-xdpi="61.120499"
989 inkscape:export-ydpi="61.120499" />
1051 inkscape:export-ydpi="61.120499" />
991 id="text966"
1053 id="text966"
992− y="95.970665"
1054+ y="256.04358"
993− x="79.841362"
1055+ x="23.220528"
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"
1056 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"
1057 xml:space="preserve"
996 inkscape:export-xdpi="61.120499"
1058 inkscape:export-xdpi="61.120499"
997 inkscape:export-ydpi="61.120499"><tspan
1059 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"
1060 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"
1061+ y="256.04358"
1000− x="79.841362"
1062+ x="23.220528"
1001 sodipodi:role="line"
1063 sodipodi:role="line"
1002 id="tspan968">Representation of expressions ready</tspan><tspan
1064 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"
1065 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"
1066+ y="260.45331"
1005− x="79.841362"
1067+ x="23.220528"
1006 sodipodi:role="line"
1068 sodipodi:role="line"
1007 id="tspan974">for compiling: CExp</tspan><tspan
1069 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"
1070 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"
1071+ y="264.86304"
1010− x="79.841362"
1072+ x="23.220528"
1011 sodipodi:role="line"
1073 sodipodi:role="line"
1012 id="tspan972">Type erased, explicit case trees</tspan></text>
1074 id="tspan972">Type erased, explicit case trees</tspan></text>
@@ -1015,54 +1077,54 @@
1015 inkscape:export-xdpi="61.120499"
1077 inkscape:export-xdpi="61.120499"
1016 xml:space="preserve"
1078 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"
1079 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"
1080+ x="22.69136"
1019− y="73.217979"
1081+ y="90.151314"
1020 id="text978"><tspan
1082 id="text978"><tspan
1021 sodipodi:role="line"
1083 sodipodi:role="line"
1022 id="tspan976"
1084 id="tspan976"
1023− x="22.162193"
1085+ x="22.69136"
1024− y="73.217979"
1086+ y="90.151314"
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>
1087 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>
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"
1089 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"
1090 id="rect980"
1029 width="55.827087"
1091 width="55.827087"
1030 height="10.054173"
1092 height="10.054173"
1031− x="20.574694"
1093+ x="21.103861"
1032− y="68.719742"
1094+ y="85.653076"
1033 inkscape:export-xdpi="61.120499"
1095 inkscape:export-xdpi="61.120499"
1034 inkscape:export-ydpi="61.120499" />
1096 inkscape:export-ydpi="61.120499" />
1036 id="text984"
1098 id="text984"
1037− y="76.92215"
1099+ y="93.855484"
1038− x="22.69136"
1100+ x="23.220528"
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"
1101 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"
1102 xml:space="preserve"
1041 inkscape:export-xdpi="61.120499"
1103 inkscape:export-xdpi="61.120499"
1042 inkscape:export-ydpi="61.120499"><tspan
1104 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"
1105 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"
1106+ y="93.855484"
1045− x="22.69136"
1107+ x="23.220528"
1046 id="tspan982"
1108 id="tspan982"
1047 sodipodi:role="line">command line options</tspan></text>
1109 sodipodi:role="line">command line options</tspan></text>
1049 id="text988"
1111 id="text988"
1050− y="89.886726"
1112+ y="106.82006"
1051− x="22.162193"
1113+ x="22.69136"
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"
1114 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"
1115 xml:space="preserve"
1054 inkscape:export-xdpi="61.120499"
1116 inkscape:export-xdpi="61.120499"
1055 inkscape:export-ydpi="61.120499"><tspan
1117 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"
1118 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"
1119+ y="106.82006"
1058− x="22.162193"
1120+ x="22.69136"
1059 id="tspan986"
1121 id="tspan986"
1060 sodipodi:role="line">module Idris.Error</tspan></text>
1122 sodipodi:role="line">module Idris.Error</tspan></text>
1062 inkscape:export-ydpi="61.120499"
1124 inkscape:export-ydpi="61.120499"
1063 inkscape:export-xdpi="61.120499"
1125 inkscape:export-xdpi="61.120499"
1064− y="85.388489"
1126+ y="102.32182"
1065− x="20.574694"
1127+ x="21.103861"
1066 height="9.5250101"
1128 height="9.5250101"
1067 width="37.835419"
1129 width="37.835419"
1068 id="rect990"
1130 id="rect990"
@@ -1072,180 +1134,21 @@
1072 inkscape:export-xdpi="61.120499"
1134 inkscape:export-xdpi="61.120499"
1073 xml:space="preserve"
1135 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"
1136 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"
1137+ x="23.220528"
1076− y="93.590897"
1138+ y="110.52423"
1077 id="text994"><tspan
1139 id="text994"><tspan
1078 sodipodi:role="line"
1140 sodipodi:role="line"
1079 id="tspan992"
1141 id="tspan992"
1080− x="22.69136"
1142+ x="23.220528"
1081− y="93.590897"
1143+ y="110.52423"
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>
1144 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>
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)"
1146 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"
1147+ d="m 21.103861,231.70166 c -7.32197,0.078 -4.584313,-108.27557 0,-119.85483"
1086 id="path996"
1148 id="path996"
1087 inkscape:connector-curvature="0"
1149 inkscape:connector-curvature="0"
1088 inkscape:export-xdpi="61.120499"
1150 inkscape:export-xdpi="61.120499"
1089 inkscape:export-ydpi="61.120499"
1151 inkscape:export-ydpi="61.120499"
1090 sodipodi:nodetypes="cc" />
1152 sodipodi:nodetypes="cc" />
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"
1095− inkscape:connector-curvature="0"
1096− sodipodi:nodetypes="cc"
1097− inkscape:export-xdpi="61.120499"
1098− inkscape:export-ydpi="61.120499" />
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"
1103− inkscape:connector-curvature="0"
1104− inkscape:export-xdpi="61.120499"
1105− inkscape:export-ydpi="61.120499" />
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;"
1112− inkscape:export-xdpi="61.120499"
1113− inkscape:export-ydpi="61.120499"><tspan
1114− sodipodi:role="line"
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"
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"
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>
1130− inkscape:connector-curvature="0"
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" />
1137− inkscape:export-ydpi="61.120499"
1138− inkscape:export-xdpi="61.120499"
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
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;"
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;"
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;"
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;"
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;"
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;"
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;"
1177− sodipodi:role="line"
1178− id="tspan993">like.</tspan></text>
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"
1183− inkscape:connector-curvature="0"
1184− inkscape:export-xdpi="61.120499"
1185− inkscape:export-ydpi="61.120499" />
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"
1192− inkscape:export-xdpi="61.120499"
1193− inkscape:export-ydpi="61.120499"><tspan
1195− sodipodi:role="line"
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"
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"
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"
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"
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>
1220− inkscape:connector-curvature="0"
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" />
1228− inkscape:export-ydpi="61.120499"
1229− inkscape:export-xdpi="61.120499"
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;"
1238− sodipodi:role="line"
1239− id="tspan1060">Idris.Parser</tspan><tspan
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;"
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;"
1248− sodipodi:role="line"
1249− id="tspan1089">command line.</tspan></text>