images/compiler-overview.svg

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" style="background-color: rgb(255, 255, 255);" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="1036px" height="671px" viewBox="-0.5 -0.5 1036 671" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2020-07-16T09:03:49.458Z&quot; agent=&quot;5.0 (X11)&quot; etag=&quot;goPtaL5gHxZbha9ELgrg&quot; version=&quot;13.4.2&quot; type=&quot;device&quot;&gt;&lt;diagram id=&quot;prtHgNgQTEPvFCAcTncT&quot; name=&quot;Page-1&quot;&gt;5V1bc6O4Ev4teXDV7oNdiDuPSWZmN3Vm96Qm2TqzT1uyUWxmMPIBPInn168EwgZJ3GxjMJnayhoBAnd//alb3ZIn2v367bcQblZ/YBf5E1Vx3ybah4mqAl1VJ/Q/xd2lLbaipA3L0HPZRYeGJ+8nYo3ZZVvPRVHhwhhjP/Y2xcYFDgK0iAttMAzxa/GyF+wXn7qBSyQ0PC2gL7b+z3PjFWs1s69BT/yOvOUqe7SanVnD7GrWEK2gi19zTdrHiXYfYhynn9Zv98in0ssEk973qeTs/s1CFMRNbog+fdhY0eOLh74uPj1M/0F/fPsyZb38gP6WfePP6M0LlqSbRxhGyafk5eNdJpLo1Vv7MCBHd64XEqF7OCBnEIzIa9y94CD+BNeeTxX+ebvwXEhuv8dBhGkHd+x5KIzRW+kXAXvxEGAhvEZxuCOXsBtUjUl0V8TK60FBusHaVjndGCZrhAwUy33XB7GRD0xyLaRoCkJCLoERO8RhvMJLHED/46H1LsTbwEW0V4UcHa75jPGGNALS+A3F8Y7ZBNzGmDSt4rXPzhI9xV9zn/+mXc0MdvThjfWcHOzYQTPt0Jcv1U0VjCK8DReo4jqNmTAMl6iqP02RIyBEPoy9H8W3k6mT3fqIPfLeB+TYReTwgEjfi93EYWL/FsfDxDIFa5uoph8nlvSDfFzSj8/4OwqydvKc3CkpzD7DOSHdAjSg7y2pTS6I1lBIGqi9eYTVbtmJtee6KQpR5P2E86Q/CpAN/e6JNIy7ifHhFINmlMw6P/BgLZjMSuufKjNgmmpBj1N2eCI8pkCfAUvac9YJfnmJUCfg0ARs+OiNKI9XeZE3XldejJ42MLG6VzIGF4FwFjYut/hSJZlFO9MMgaEBkDF0VwQNVNHyrLsb0jKbzcjfm4n1oWqgiwgzxIyJVUVg7zox5zTSlcRVbkxUxUERaBKRg+5kbggy99YbMtBN6LuZcE2xmpDcUxwmjgZrk1PdUHCvVqoBcMCXaOGywBeHnBccEt9UUMLd5P7jhPwdoRac3rUgkjsRnY+oiy2h+KsiHmDVM89+PLgQ81iCuG9urhzw2lXRjir1dHPCJ3dzcifivU2ufD9q6p2XVNFQssCDyqggYvP/W5ydmEYJI92SCwDYvB1OHgKVY5V9iHvSN9j3d463kiIpfZdb4V0eSOy0pOxcvLzk/a4Tj/rAeENrFCET1326d92niesuj5aFO6fTrHEe8pfVhNqtNBrFIYnisxnDQem4d9IBtqDjvWWWO0I54a5w6P0k4oQ+U8aJTlJXnhEXkmkS69Jlkt8PE+cXvdPIvPbE6REpFnm0mZm1INJu7bBD1duVuq+for7wSK+00zycEwqD6dz+Efpn5tzMlRs1EIA5NCSIKZ9qJGw2vreARyLhl0YIaIKTX0cOlP3APBigSOZMq4Dysg2O5ovqcMG6a4Si+4aEc/AXRwolbvCxe0eSOP1ViaRt4MP1nEqrNZL++vOzABfp9HIbEAhPefzy3PYpowAWP5j1jyy9HbJQsMAuUVN0BLQe/hSVLndtWwSk979/ETq9X8HyHkdKWfzo1zuy9Jac5XtRLILqCG6hifdzjnZGJxR00QmOdqGW0Tt0WpLSBnrhyU7TWTFTNuU5RvgIAVr/+BET55X4iTLP4wgEHW6pzce357aRIESIzHpHSEZ5BYSUSjupCAsXbIIUUOG7MFrtz6Wivsc+DpNbNSX5R0Xu+X7WHuBkHnYZQtcj4uSaaYePMI5RSMvLiDwVMn4qIPn/Mcq8ROKa06qsjFRaMWOdQa2NYuuntJySysVFDY2MCCmedFYMSKtQI4ajc5lktZYMo6glUUm2REdqZwFHveFFK7ihH9dvS1oTP5tv1sEsWoTeJv4nhtH3onbwNva9gFhfVr+udCI3Se7BkcjN7kxusswDJzgUuLe0ZJ9i1YdR5C3aBSdEMuHuKxNhcpAriaaHh5ro5GhXkHZl0XPT+mb2perrm+W6y2lHWsDO2k4sc90XxzNsCFpPv6ZQBi10ZChcRxrXUdf11KKjlLkuPLTGWCed2lRlobSRVXicWhltzkyreFOHldASte7Wc0xvfE7EpCq/oQCFLCnB8+8haVz0OLv3QmqKoutn+HVFNph1t25FnOTgBEx8vAr51iTee3L7Uvw0TstbM0l1ui7TA1CzS8+vCRHzD6xY+lqiKPO6ShRNsdTolvgchPZV5Ze0PO3XsQq/9xogUyw8/Pi2IYNsRKV/czNayfc/d+AYUu9ogIsV9/488WQU4uwUnHo6uVDt1idHjyj0iNyoc3coFcuiDDZ3kbR98nx/f6MkDiGN7JLmcGq/jjJzfWoDDZMV0dVGGmaJk9jYITzNzsVav0fy5C2dzigJm11IgmTid6B6Mz/V2+jQxShG36Zo9LIVEZ35eRnf92PzSsHmtWY2D4rmbtUF8aMxbKehYdsly2TbRXpEHnCXu4DFtaWBoMbNHQDmuB7QmfZ41oDQlE0eibOlXIxYmwRpsIxAkS4j4DO02ZNL8q6tEyVjokKNC7ck/k82VVmcwO2KC21nOP6PWu0AjYXTzkNVIhfxa571y04/2mIEidIgJpmWUsgBJKgRZ1AGG8vU2DLgts8AqnTu5KLhjG0Px5wbhjMt0xNjYYFswqV7z+Y0X/lqNvMpA5QN1JND4wOK8lADRagxMB5w1ny1VZc4sxrirN/Q2BGnwMqWwY0ye+XUb/OjZJSRbcbDnnms39B96srqdTRSZqZj5wlkCN4lfSZPNQ04oPGOYkonvqXFzduazsw2LKCr7K/TyNMUujU5l5UvJSrJvLeN0g1d+phOg3RLDNKf4rWYvxolmVnVFYTKTFGyPWCyFMxpVJaxpFPo1C7e3x3P2b1MKF6IsQQoNqWrs7OQwdW27xN3bXmH70jjQ+VzEQ//HH5P0nbXd8NUQBep6l25XnbJmLlnK0231dP4KZsh0Eg0cilScvQ+na82kdtwQvqmbpZZMjN0IsHZTtHDB4o62/tY9K/eiO/OhiAxXfn0nwfS8BzCIPKvvN5MtqhOWnAGOisDdkTmjZloxYzwYKdJnZoVRUZtyuPCO+5kvucQ8r81OY+yBHCrWdLhzV5lzFJLtCDbqrZ2+goop4a+p4EqY468LeOHEj/qam15aKasiAwaLfCGluwuVmjx/ZrSTTWyV62hCR+IkJcUIqwQdKchSrfOarYSc0532nKDpP5xbKsrW2pZtg7v0moWt0hiO6EpKxiQuG48Nsb7KkOQ/oAKVJs6K1wGrl212lV7K3pTb6Vsy+4LeSuyXwAoN+J3u2S6ji64xIIusoV05SLgVwaeUbGNdtv4K9jvSbhIFlMrJ2zRsjysjRr10MyvXZD9psSFvV8gCPei+dVsOKjPrh6GhkPo+vckF9YOfmRoOjW4DwTrCy6sE4eAo3ISFrcUXtVtDohd5BgUcWnlu8oxMFOtSDKoVpYE3RUeeeKUMigOUNyCze6yD0CyxcE83C4EdV/NfLHedL6Yz0qe8XdTxICbDb5XNF0MahbqD21lLNDENMgCrzeePyah67UbpFxa6iJ/hFsx3XS1Eud/fLFDieP5N7qZjqr46bB6iPbS7ZHo8cvLS9pUo5X88l6mx768TzXvfmanGmSYu3MjBR8l5/aqrfzeSWOHtK8fD9X0/WqHDMGaM3Py/4pdltTU1Dsc5JAhuA1/GOJYyX5K9F34m1r1OnyCR72gvPN4m1PAYUKZOXoBE1qxyw4dUK2flQvDDnRFhjoimG9OTvXRchYmNJgx1TvhMT4e1q1mvNU27rb5cKJYhdzgvS5RC6iJyzAe/vteKLN6CYYy00ytWJ+lnoU0VZUjzcv9yjLQxdzeMwrXHqE8Qes5TWeKTUDwiCOP/er9HMcxXsugkLied3DxfZlQbC5X8JL8k6AlppTL+ex0KVe0gm7CgIU8hJKeKew16eHImnkEEdFsjQOPTlF38mtY1RMJFr/mW7LfkCXx9Pkt5s4XW+lqH0PjAJzwjnzw+mFOb+qtg5Pd9ROhIdvon5+yO31L14ts0FBtlrZhcrxrOOLy7cwIC4apdib9Xmq237Vhao0NsyQ7eCnDlG2D38gwUfjDW6BLWabrhWjB3AEEo/g8xurY9aYq2/m6sz2kgN5LePmuTdVobKq9LmUHuhhEPafvzCNmbNvT2ya305tkqzdZQUxnG9QDXUze5Ipf6A9WhZswWYs9dt04XMJBphtpxuEI5ZDDEOM4H6zSAekP7NI5g4//Ag==&lt;/diagram&gt;&lt;/mxfile&gt;"><defs/><g><path d="M 175 23 L 175 0 L 625 0 L 625 23" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/><path d="M 175 23 L 175 560 L 625 560 L 625 23" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 175 23 L 625 23" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g fill="#000000" font-family="Lucida Console" font-weight="bold" pointer-events="none" text-anchor="middle" font-size="12px"><text x="399.5" y="16">Lexing/Parsing</text></g><path d="M 345 60 L 400 60 L 400 103.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 400 108.88 L 396.5 101.88 L 400 103.63 L 403.5 101.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 61px; margin-left: 375px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; "><div>Token</div></div></div></div></foreignObject><text x="375" y="64" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">Token</text></switch></g><rect x="235" y="35" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 60px; margin-left: 236px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">lexer</div></div></div></foreignObject><text x="290" y="64" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">lexer</text></switch></g><path d="M 195 140 L 195 120 L 325 120 L 325 140" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 195 140 L 195 270 L 325 270 L 325 140" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 195 140 L 325 140" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 130px; margin-left: 260px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">{! ... !}</div></div></div></foreignObject><text x="260" y="134" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">{! ... !}</text></switch></g><rect x="205" y="150" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 175px; margin-left: 206px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">import &lt;String&gt;</div></div></div></foreignObject><text x="260" y="179" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">import &lt;String&gt;</text></switch></g><rect x="205" y="210" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 235px; margin-left: 206px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">format &lt;Bλ&gt;</div></div></div></foreignObject><text x="260" y="239" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">format &lt;Bλ&gt;</text></switch></g><path d="M 345 140 L 345 120 L 605 120 L 605 140" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 345 140 L 345 270 L 605 270 L 605 140" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 345 140 L 605 140" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 130px; margin-left: 475px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">whileParser</div></div></div></foreignObject><text x="475" y="134" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">whileParser</text></switch></g><rect x="355" y="150" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 175px; margin-left: 356px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">!! &lt;Bλ&gt;</div></div></div></foreignObject><text x="410" y="179" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">!! &lt;Bλ&gt;</text></switch></g><rect x="355" y="210" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 235px; margin-left: 356px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">&lt;id&gt; := &lt;Bλ&gt;</div></div></div></foreignObject><text x="410" y="239" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">&lt;id&gt; := &lt;Bλ&gt;</text></switch></g><rect x="485" y="150" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 175px; margin-left: 486px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><font style="font-size: 11px">&lt;id&gt; := &lt;B</font><font style="font-size: 11px">λ&gt; :: &lt;Integer&gt;</font></div></div></div></foreignObject><text x="540" y="179" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">&lt;id&gt; := &lt;Bλ&gt; :: &lt;In...</text></switch></g><rect x="485" y="210" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 235px; margin-left: 486px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>{- ... -}</div><div>--<br /></div></div></div></div></foreignObject><text x="540" y="239" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">{- ... -}...</text></switch></g><path d="M 215 330 L 195 330 L 195 540 L 215 540" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 215 330 L 605 330 L 605 540 L 215 540" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 215 330 L 215 540" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)rotate(-90 205 435)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 435px; margin-left: 205px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">Bλ</div></div></div></foreignObject><text x="205" y="439" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">Bλ</text></switch></g><rect x="225" y="340" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 365px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"index"</div><div>&lt;Integer&gt;<br /></div></div></div></div></foreignObject><text x="280" y="369" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"index"...</text></switch></g><rect x="355" y="340" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 365px; margin-left: 356px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"abstraction"</div><div>λ &lt;Bλ&gt;<br /></div></div></div></div></foreignObject><text x="410" y="369" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"abstraction"...</text></switch></g><rect x="485" y="340" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 365px; margin-left: 486px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"application"</div><div>(&lt;Bλ&gt; &lt;Bλ&gt;)<br /></div></div></div></div></foreignObject><text x="540" y="369" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"application"...</text></switch></g><rect x="225" y="410" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 435px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"function"</div><div>&lt;id&gt;{&lt;Bλ&gt;, &lt;Bλ&gt;}<br /></div></div></div></div></foreignObject><text x="280" y="439" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"function"...</text></switch></g><rect x="355" y="410" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 435px; margin-left: 356px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"unlambda"</div><div>UNL{&lt;String&gt;}<br /></div><div>PRT{&lt;String&gt;}</div></div></div></div></foreignObject><text x="410" y="439" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"unlambda"...</text></switch></g><rect x="485" y="410" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 435px; margin-left: 486px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"encodings"</div><div>INT{&lt;Integer&gt;}</div><div>CHR{&lt;Char&gt;}<br /></div></div></div></div></foreignObject><text x="540" y="439" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"encodings"...</text></switch></g><rect x="225" y="480" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 505px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"list"<br /></div><div>[&lt;Bλ&gt;, &lt;Bλ&gt;]</div></div></div></div></foreignObject><text x="280" y="509" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"list"...</text></switch></g><rect x="355" y="480" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 505px; margin-left: 356px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"pair"</div><div>&lt;&lt;Bλ&gt;, &lt;Bλ&gt;&gt;</div></div></div></div></foreignObject><text x="410" y="509" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"pair"...</text></switch></g><rect x="485" y="480" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 505px; margin-left: 486px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>"string"</div><div>"&lt;String&gt;"<br /></div></div></div></div></foreignObject><text x="540" y="509" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">"string"...</text></switch></g><rect x="185" y="110" width="430" height="170" rx="17" ry="17" fill="none" stroke="#000000" stroke-dasharray="8 3 1 3" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 10px; margin-left: 40px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: nowrap; "><div>Source Code</div></div></div></div></foreignObject><text x="40" y="14" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Source Code</text></switch></g><path d="M 75.65 20 C 61.31 31.69 61.31 48.31 75.65 60 C 90 71.69 90 88.31 75.65 100 L 14.35 100 C 28.69 88.31 28.69 71.69 14.35 60 C 0 48.31 0 31.69 14.35 20 Z" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 26.61 60 L 63.39 60 M 16.8 44 L 53.58 44 M 19.25 28 L 56.04 28 M 36.42 76 L 73.2 76 M 33.96 92 L 70.75 92" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 90 60 L 228.63 60" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 233.88 60 L 226.88 63.5 L 228.63 60 L 226.88 56.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 61px; margin-left: 145px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">String</div></div></div></foreignObject><text x="145" y="64" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">String</text></switch></g><path d="M 635 23 L 635 0 L 1035 0 L 1035 23" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 23 L 635 260 L 1035 260 L 1035 23" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 23 L 1035 23" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 12px; margin-left: 835px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">Symbol Table Generation</div></div></div></foreignObject><text x="835" y="15" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">Symbol Table Generation</text></switch></g><path d="M 655 57.5 L 655 37.5 L 795 37.5 L 795 57.5" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 655 57.5 L 655 250 L 795 250 L 795 57.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 655 57.5 L 795 57.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 48px; margin-left: 725px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">Table Generator</div></div></div></foreignObject><text x="725" y="51" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">Table Generator</text></switch></g><rect x="665" y="67.5" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 93px; margin-left: 666px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">Import</div></div></div></foreignObject><text x="720" y="96" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Import</text></switch></g><rect x="665" y="127.5" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 153px; margin-left: 666px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">Assign (:=)</div></div></div></foreignObject><text x="720" y="156" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Assign (:=)</text></switch></g><rect x="665" y="187.5" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 213px; margin-left: 666px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">Express (!!)</div></div></div></foreignObject><text x="720" y="216" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Express (!!)</text></switch></g><path d="M 900 90 L 927.5 90 L 927.5 90.2 L 947.04 90.2" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 952.29 90.2 L 945.29 93.7 L 947.04 90.2 L 945.29 86.7 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 840 68 C 840 57.33 900 57.33 900 68 L 900 112 C 900 122.67 840 122.67 840 112 Z" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 840 68 C 840 76 900 76 900 68 M 840 72 C 840 80 900 80 900 72 M 840 76 C 840 84 900 84 900 76" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 58px; height: 1px; padding-top: 100px; margin-left: 841px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">Prelude</div></div></div></foreignObject><text x="870" y="104" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Prelude</text></switch></g><path d="M 955 110 L 985 110 L 985 165 L 931.37 165" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 926.12 165 L 933.12 161.5 L 931.37 165 L 933.12 168.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 955 75 C 955 41.67 1010 41.67 1010 75 L 1010 225 C 1010 258.33 955 258.33 955 225 Z" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 955 75 C 955 100 1010 100 1010 75 M 955 87.5 C 955 112.5 1010 112.5 1010 87.5 M 955 100 C 955 125 1010 125 1010 100" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 53px; height: 1px; padding-top: 182px; margin-left: 956px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>Symbol Table</div><div style="font-size: 10px">[&lt;Symbol&gt;]<br /></div></div></div></div></foreignObject><text x="983" y="185" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Symbol Ta...</text></switch></g><path d="M 925 140 L 948.63 140" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 953.88 140 L 946.88 143.5 L 948.63 140 L 946.88 136.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><rect x="815" y="127.5" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 153px; margin-left: 816px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">expression expander</div></div></div></foreignObject><text x="870" y="156" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">expression expander</text></switch></g><path d="M 775 152.5 L 808.63 152.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 813.88 152.5 L 806.88 156 L 808.63 152.5 L 806.88 149 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 781.37 212.5 L 865 212.5 L 865 212.4 L 955 212.4" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 776.12 212.5 L 783.12 209 L 781.37 212.5 L 783.12 216 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 214px; margin-left: 856px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">Bλ</div></div></div></foreignObject><text x="856" y="217" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">Bλ</text></switch></g><path d="M 485.14 110 L 485.1 59.9 L 648.63 59.86" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 653.88 59.86 L 646.88 63.36 L 648.63 59.86 L 646.88 56.36 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 59px; margin-left: 536px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">Stmt</div></div></div></foreignObject><text x="536" y="63" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">Stmt</text></switch></g><path d="M 475 330 L 475 310 L 475 286.37" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 475 281.12 L 478.5 288.12 L 475 286.37 L 471.5 288.12 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 310px; margin-left: 476px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">Bλ</div></div></div></foreignObject><text x="476" y="314" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">Bλ</text></switch></g><path d="M 775 92.5 L 808 92.5 L 808 92.4 L 834.63 92.42" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 839.88 92.43 L 832.88 95.92 L 834.63 92.42 L 832.89 88.92 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 293 L 635 270 L 1035 270 L 1035 293" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 293 L 635 450 L 1035 450 L 1035 293" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 293 L 1035 293" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 282px; margin-left: 835px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">SKI Translation</div></div></div></foreignObject><text x="835" y="285" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">SKI Translation</text></switch></g><rect x="785" y="320" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 345px; margin-left: 786px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">translate</div></div></div></foreignObject><text x="840" y="349" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">translate</text></switch></g><path d="M 768.63 342.5 L 755 342.5 L 755 345" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 773.88 342.5 L 766.88 346 L 768.63 342.5 L 766.88 339 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><rect x="645" y="320" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 345px; margin-left: 646px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">toIλ</div></div></div></foreignObject><text x="700" y="349" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">toIλ</text></switch></g><rect x="905" y="320" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 345px; margin-left: 906px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">scope checker</div></div></div></foreignObject><text x="960" y="349" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">scope checker</text></switch></g><rect x="905" y="380" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 405px; margin-left: 906px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>head-redex</div><div>bindedness<br /></div></div></div></div></foreignObject><text x="960" y="409" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">head-redex...</text></switch></g><rect x="785" y="380" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 405px; margin-left: 786px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">index handler</div></div></div></foreignObject><text x="840" y="409" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">index handler</text></switch></g><path d="M 761.37 402.5 L 775 402.5 L 775 407.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 756.12 402.5 L 763.12 399 L 761.37 402.5 L 763.12 406 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><rect x="775" y="310" width="250" height="130" rx="13" ry="13" fill="none" stroke="#000000" stroke-dasharray="8 3 1 3" pointer-events="none"/><rect x="645" y="390" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 415px; margin-left: 646px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; "><div>Unλ code <br /></div><div>generator</div></div></div></div></foreignObject><text x="700" y="419" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Unλ code...</text></switch></g><path d="M 700 313.63 L 700 237.5 L 720 237.5" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 700 318.88 L 696.5 311.88 L 700 313.63 L 703.5 311.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 301px; margin-left: 701px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">Bλ</div></div></div></foreignObject><text x="701" y="304" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">Bλ</text></switch></g><path d="M 635 493 L 635 470 L 1035 470 L 1035 493" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 493 L 635 560 L 1035 560 L 1035 493" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 635 493 L 1035 493" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 482px; margin-left: 835px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; font-weight: bold; white-space: nowrap; ">bruc</div></div></div></foreignObject><text x="835" y="485" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle" font-weight="bold">bruc</text></switch></g><rect x="645" y="500" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 525px; margin-left: 646px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">generate</div></div></div></foreignObject><text x="700" y="529" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">generate</text></switch></g><rect x="780" y="500" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 525px; margin-left: 781px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">compile</div></div></div></foreignObject><text x="835" y="529" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">compile</text></switch></g><rect x="915" y="500" width="110" height="50" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 108px; height: 1px; padding-top: 525px; margin-left: 916px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: normal; word-wrap: normal; ">run</div></div></div></foreignObject><text x="970" y="529" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">run</text></switch></g><path d="M 292.5 323.63 L 292.5 280" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 292.5 328.88 L 289 321.88 L 292.5 323.63 L 296 321.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 300px; margin-left: 291px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">Token</div></div></div></foreignObject><text x="291" y="304" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">Token</text></switch></g><path d="M 835 463.63 L 835 460 L 700 460 L 700 440" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 835 468.88 L 831.5 461.88 L 835 463.63 L 838.5 461.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 461px; margin-left: 756px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">IO</div></div></div></foreignObject><text x="756" y="464" fill="#000000" font-family="Lucida Console" font-size="11px" text-anchor="middle">IO</text></switch></g><rect x="665" y="580" width="70" height="56.69" fill="#ffffff" stroke="#000000" stroke-width="2" pointer-events="none"/><path d="M 700 636.69 L 700 647 M 693 647 L 707 647" fill="none" stroke="#000000" stroke-width="2" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-start; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 654px; margin-left: 700px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; background-color: #ffffff; white-space: nowrap; ">Terminal</div></div></div></foreignObject><text x="700" y="666" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Terminal</text></switch></g><path d="M 700 573.63 L 700 560 L 700 570 L 700 550" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 700 578.88 L 696.5 571.88 L 700 573.63 L 703.5 571.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 857.82 585 C 847.14 594.06 847.14 606.94 857.82 616 C 868.5 625.06 868.5 637.94 857.82 647 L 812.18 647 C 822.86 637.94 822.86 625.06 812.18 616 C 801.5 606.94 801.5 594.06 812.18 585 Z" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 821.31 616 L 848.69 616 M 814.01 603.6 L 841.39 603.6 M 815.83 591.2 L 843.22 591.2 M 828.61 628.4 L 855.99 628.4 M 826.78 640.8 L 854.17 640.8" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 835 578.63 L 835 565 L 835 570 L 835 550" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 835 583.88 L 831.5 576.88 L 835 578.63 L 838.5 576.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 931.81 600.83 L 938.95 604.9 L 938.18 609.26 L 930 611.64 L 932.6 619.88 L 941.8 619.03 L 945.3 622.63 L 941.93 628.51 L 951.54 632.87 L 957.12 627.66 L 963.34 628.22 L 966.59 634.2 L 977.74 632.3 L 976.7 625.48 L 981.5 622.63 L 989.15 625.57 L 995.64 618.36 L 988.11 614.1 L 988.9 609.84 L 997.33 607.46 L 994.86 599.32 L 985.13 600.07 L 981.76 596.85 L 985.26 590.59 L 975.54 586.42 L 969.44 591.73 L 963.47 591.06 L 959.7 585 L 948.94 587.08 L 949.98 593.72 L 945.96 596.28 L 937.66 593.72 Z M 951.83 610.08 C 951.83 605.29 957.15 601.4 963.71 601.4 C 970.27 601.4 975.59 605.29 975.59 610.08 C 975.59 614.88 970.27 618.76 963.71 618.76 C 957.15 618.76 951.83 614.88 951.83 610.08 Z" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 944.49 611.64 L 951.62 615.71 L 950.85 620.07 L 942.67 622.44 L 945.27 630.68 L 954.48 629.84 L 957.98 633.44 L 954.61 639.32 L 964.21 643.68 L 969.79 638.46 L 976.01 639.03 L 979.26 645 L 990.41 643.1 L 989.37 636.28 L 994.18 633.44 L 1001.82 636.38 L 1008.31 629.17 L 1000.79 624.9 L 1001.57 620.64 L 1010 618.27 L 1007.54 610.12 L 997.8 610.88 L 994.43 607.65 L 997.93 601.4 L 988.21 597.23 L 982.11 602.54 L 976.14 601.87 L 972.38 595.8 L 961.61 597.89 L 962.65 604.52 L 958.63 607.08 L 950.33 604.52 Z M 964.5 620.88 C 964.5 616.09 969.82 612.2 976.38 612.2 C 982.94 612.2 988.26 616.09 988.26 620.88 C 988.26 625.68 982.94 629.57 976.38 629.57 C 969.82 629.57 964.5 625.68 964.5 620.88 Z" fill="#ffffff" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 970 578.63 L 970 565 L 970 570 L 970 550" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 970 583.88 L 966.5 576.88 L 970 578.63 L 973.5 576.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 660px; margin-left: 835px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: nowrap; ">Target</div></div></div></foreignObject><text x="835" y="664" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Target</text></switch></g><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 660px; margin-left: 980px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Lucida Console; color: #000000; line-height: 1.2; pointer-events: none; white-space: nowrap; ">Unλ Interpreter</div></div></div></foreignObject><text x="980" y="664" fill="#000000" font-family="Lucida Console" font-size="12px" text-anchor="middle">Unλ Interpreter</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://desk.draw.io/support/solutions/articles/16000042487" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Viewer does not support full SVG 1.1</text></a></switch></svg>