valhallac

Compiler for set-theoretic programming language.
git clone git://git.knutsen.co/valhallac
Log | Files | Refs | README | LICENSE

commit 8fd9e72b17b0aee84e055abc8e2474ef32de2efa
parent e79533cf3950f088639d627daf63d706a99a63f9
Author: Fredrik Knutsen <moi@knutsen.co>
Date:   Tue,  9 Jul 2019 12:10:19 +0100

Added gitignore and new files.

Diffstat:
A.gitignore | 48++++++++++++++++++++++++++++++++++++++++++++++++
MCargo.toml | 2+-
Aassets/logo.svg | 646+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Aassets/logo.svg.png | 0
Asamples/arith.vh | 3+++
Asamples/hello_world.vh | 3+++
Asamples/raw_hello_world.vh | 3+++
7 files changed, 704 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore @@ -0,0 +1,48 @@ +# Generated by Cargo +# will have compiled files and executables +target/ + +# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries +# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html +Cargo.lock + +# These are backup files generated by rustfmt +**/*.rs.bk + +# Personal +.ideas/ + +# OS files +.DS_Store +.DS_Store? +desktop.ini +._* +.Spotlight-V100 +.Trashes +ehthumbs.db +Thumbs.db +*.swp +*.ini + +# Compiled files +*.com +*.class +*.dll +*.exe +*.o +*.so + +# Packages +*.7z +*.dmg +*.gz +*.iso +*.jar +*.rar +*.tar +*.zip + +# Debug logs and databases +*.log +*.sql +*.sqlite diff --git a/Cargo.toml b/Cargo.toml @@ -1,5 +1,5 @@ [package] -name = "Valhalla" +name = "valhalla" version = "0.1.0" authors = ["Demonstrandum <moi@knutsen.co>"] edition = "2018" diff --git a/assets/logo.svg b/assets/logo.svg @@ -0,0 +1,646 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> + +<svg + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://creativecommons.org/ns#" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="500" + height="400" + viewBox="0 0 132.29166 105.83334" + version="1.1" + id="svg8" + inkscape:version="0.92.4 5da689c313, 2019-01-14" + sodipodi:docname="logo.svg" + inkscape:export-filename="/home/weet/Git/Valhalla/assets/logo.svg.png" + inkscape:export-xdpi="210.89999" + inkscape:export-ydpi="210.89999"> + <defs + id="defs2" /> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="0.49497475" + inkscape:cx="646.98434" + inkscape:cy="306.64558" + inkscape:document-units="mm" + inkscape:current-layer="layer1" + showgrid="false" + inkscape:window-width="1316" + inkscape:window-height="718" + inkscape:window-x="25" + inkscape:window-y="25" + inkscape:window-maximized="0" + showguides="false" + units="px" + width="49px" /> + <metadata + id="metadata5"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + <dc:title></dc:title> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(0,-191.16666)"> + <path + style="fill:#f2f6f6;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 24.59014,248.48058 40.065475,-28.53721 19.465775,5.29167 26.45833,-12.47321 19.0878,1.32292 -35.52976,18.8988 -3.77976,13.79614 19.46577,-11.33929 v 12.85119 l -36.66369,28.72619 -20.221728,-8.69345 -20.788691,6.42559 -7.559521,-6.99256 -18.3318469,11.90625 1.511906,-19.65476 z" + id="path1054" + inkscape:connector-curvature="0" /> + <rect + style="fill:#501616;fill-opacity:1;stroke:#2b0000;stroke-width:0.94099998;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="rect6512" + width="0.8504464" + height="30.049107" + x="34.942642" + y="235.16188" + ry="0.4252232" /> + <ellipse + style="fill:#501616;fill-opacity:0;stroke:#501616;stroke-width:0.50601929;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="path6395-3-5-3" + cx="36.913822" + cy="242.66502" + rx="3.7821469" + ry="0.78543812" /> + <ellipse + style="fill:#501616;fill-opacity:0;stroke:#501616;stroke-width:0.50601929;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="path6395-3-5-3-2" + cx="36.950008" + cy="256.64233" + rx="3.7821469" + ry="0.78543812" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.25233221" + id="rect5976" + width="28.675171" + height="27.460939" + x="37.304111" + y="236.29333" + ry="0" /> + <path + style="fill:#501616;fill-opacity:1;stroke-width:0.36081398" + d="m 65.717389,236.29332 c 24.651121,0.63745 25.636201,3.49681 47.342991,4.25259 -16.92108,4.64638 -39.20564,4.294 -47.342991,10.81423 z" + id="rect5984" + inkscape:connector-curvature="0" + sodipodi:nodetypes="cccc" /> + <path + style="fill:#501616;fill-opacity:1;stroke-width:0.36834228" + d="m 65.717389,263.75426 c 17.386961,-0.94068 17.015421,-1.92529 47.610261,-3.32302 -12.5024,-4.2912 -18.09635,1.12702 -47.610261,-13.74832 z" + id="rect5984-9" + inkscape:connector-curvature="0" + sodipodi:nodetypes="cccc" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7" + width="1.6036171" + height="3.3408689" + x="39.3381" + y="234.03441" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87" + width="0.70592362" + height="1.3210586" + x="-139.43745" + y="192.5439" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3" + width="0.70592362" + height="1.3210586" + x="-195.89096" + y="135.46632" + ry="0.42273879" + transform="matrix(-0.70320935,-0.71098285,-0.71098285,0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6" + width="1.6036171" + height="3.3408689" + x="43.06918" + y="234.05803" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1" + width="0.70592362" + height="1.3210586" + x="-136.83052" + y="195.21324" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5" + width="0.70592362" + height="1.3210586" + x="-198.53148" + y="132.8302" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-4" + width="1.6036171" + height="3.3408689" + x="46.526962" + y="234.02951" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-5" + width="0.70592362" + height="1.3210586" + x="-134.37871" + y="197.65161" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-6" + width="0.70592362" + height="1.3210586" + x="-200.94275" + y="130.35173" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-1" + width="1.6036171" + height="3.3408689" + x="50.258041" + y="234.05313" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-4" + width="0.70592362" + height="1.3210586" + x="-131.77177" + y="200.32095" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-5" + width="0.70592362" + height="1.3210586" + x="-203.58327" + y="127.71561" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-2" + width="1.6036171" + height="3.3408689" + x="53.80706" + y="233.99857" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-39" + width="0.70592362" + height="1.3210586" + x="-129.23726" + y="202.80586" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-57" + width="0.70592362" + height="1.3210586" + x="-206.04018" + y="125.15394" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-9" + width="1.6036171" + height="3.3408689" + x="57.538139" + y="234.02219" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-40" + width="0.70592362" + height="1.3210586" + x="-126.63033" + y="205.4752" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-8" + width="0.70592362" + height="1.3210586" + x="-208.68069" + y="122.51781" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-4-3" + width="1.6036171" + height="3.3408689" + x="60.995918" + y="233.99367" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-5-5" + width="0.70592362" + height="1.3210586" + x="-124.17852" + y="207.91357" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-6-3" + width="0.70592362" + height="1.3210586" + x="-211.09196" + y="120.03934" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-1-5" + width="1.6036171" + height="3.3408689" + x="64.726997" + y="234.01729" + ry="1.0690781" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-4-0" + width="0.70592362" + height="1.3210586" + x="-121.57159" + y="210.58292" + ry="0.42273879" + transform="rotate(-45.314939)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-5-6" + width="0.70592362" + height="1.3210586" + x="-213.73248" + y="117.40322" + ry="0.42273879" + transform="matrix(-0.70320934,-0.71098285,-0.71098285,0.70320934,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-1" + width="1.6036171" + height="3.3408689" + x="39.356495" + y="-265.6972" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-0" + width="0.70592362" + height="1.3210586" + x="215.8761" + y="-158.85896" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-55" + width="0.70592362" + height="1.3210586" + x="159.39671" + y="-215.96269" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-7" + width="1.6036171" + height="3.3408689" + x="43.087574" + y="-265.67358" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-7" + width="0.70592362" + height="1.3210586" + x="218.48303" + y="-156.18962" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-2" + width="0.70592362" + height="1.3210586" + x="156.7562" + y="-218.5988" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-4-1" + width="1.6036171" + height="3.3408689" + x="46.545357" + y="-265.70212" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-5-9" + width="0.70592362" + height="1.3210586" + x="220.93486" + y="-153.75125" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-6-8" + width="0.70592362" + height="1.3210586" + x="154.34492" + y="-221.07727" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-1-56" + width="1.6036171" + height="3.3408689" + x="50.276436" + y="-265.6785" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-4-7" + width="0.70592362" + height="1.3210586" + x="223.54178" + y="-151.08191" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-5-61" + width="0.70592362" + height="1.3210586" + x="151.70441" + y="-223.71339" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-2-2" + width="1.6036171" + height="3.3408689" + x="53.825455" + y="-265.73306" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-39-0" + width="0.70592362" + height="1.3210586" + x="226.07629" + y="-148.597" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-57-6" + width="0.70592362" + height="1.3210586" + x="149.2475" + y="-226.27507" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-9-4" + width="1.6036171" + height="3.3408689" + x="57.556541" + y="-265.70944" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-40-5" + width="0.70592362" + height="1.3210586" + x="228.68323" + y="-145.92766" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-8-5" + width="0.70592362" + height="1.3210586" + x="146.60698" + y="-228.91119" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-4-3-5" + width="1.6036171" + height="3.3408689" + x="61.014305" + y="-265.73795" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-5-5-1" + width="0.70592362" + height="1.3210586" + x="231.13504" + y="-143.48929" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-6-3-7" + width="0.70592362" + height="1.3210586" + x="144.19571" + y="-231.38966" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.19540772" + id="rect6020-7-6-1-5-6" + width="1.6036171" + height="3.3408689" + x="64.745399" + y="-265.71432" + ry="1.0690781" + transform="scale(1,-1)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-1-4-0-7" + width="0.70592362" + height="1.3210586" + x="233.74197" + y="-140.81995" + ry="0.42273879" + transform="matrix(0.70320935,0.71098285,0.71098285,-0.70320935,0,0)" /> + <rect + style="fill:#501616;fill-opacity:1;stroke-width:0.08152702" + id="rect6020-7-87-3-5-5-6-3" + width="0.70592362" + height="1.3210586" + x="141.55519" + y="-234.02579" + ry="0.42273879" + transform="rotate(134.68506)" /> + <rect + style="fill:#2b0000;fill-opacity:1;stroke-width:0.22326149" + id="rect5976-1" + width="26.528334" + height="23.23773" + x="39.399548" + y="238.43359" + ry="0.27640286" /> + <flowRoot + xml:space="preserve" + id="flowRoot6368" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:40px;line-height:1.25;font-family:'PR Viking';-inkscape-font-specification:'PR Viking';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none" + transform="matrix(0.33438337,0,0,0.39829988,-49.888756,-9.8397459)"><flowRegion + id="flowRegion6370" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'PR Viking';-inkscape-font-specification:'PR Viking';text-align:center;text-anchor:middle"><rect + id="rect6372" + width="87.63073" + height="77.276672" + x="263.39728" + y="615.67566" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'PR Viking';-inkscape-font-specification:'PR Viking';text-align:center;text-anchor:middle" /></flowRegion><flowPara + id="flowPara6374" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:61.33333588px;font-family:'PR Viking';-inkscape-font-specification:'PR Viking';fill:#ffffff">VH</flowPara></flowRoot> <path + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:1.32919383;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="path6535" + sodipodi:type="arc" + sodipodi:cx="-150.64098" + sodipodi:cy="188.13591" + sodipodi:rx="1.4491379" + sodipodi:ry="2.3789074" + sodipodi:start="0" + sodipodi:end="6.24313" + sodipodi:open="true" + d="m -149.19184,188.13591 a 1.4491379,2.3789074 0 0 1 -1.43462,2.37879 1.4491379,2.3789074 0 0 1 -1.46336,-2.33115 1.4491379,2.3789074 0 0 1 1.40532,-2.42547 1.4491379,2.3789074 0 0 1 1.4915,2.28257" + transform="matrix(-0.87627774,-0.48180631,-0.51099835,0.85958169,0,0)" /> + <path + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:1.50160778;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="path6535-8" + sodipodi:type="arc" + sodipodi:cx="112.22898" + sodipodi:cy="224.96687" + sodipodi:rx="1.5953997" + sodipodi:ry="2.7577448" + sodipodi:start="0" + sodipodi:end="6.24313" + sodipodi:open="true" + d="m 113.82438,224.96687 a 1.5953997,2.7577448 0 0 1 -1.57942,2.75761 1.5953997,2.7577448 0 0 1 -1.61106,-2.70238 1.5953997,2.7577448 0 0 1 1.54716,-2.81173 1.5953997,2.7577448 0 0 1 1.64204,2.64607" + transform="matrix(-0.88050655,0.47403398,0.5958246,0.80311459,0,0)" /> + <path + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:1.28546691;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="path6535-8-9" + sodipodi:type="arc" + sodipodi:cx="-236.37469" + sodipodi:cy="-10.451634" + sodipodi:rx="1.1969259" + sodipodi:ry="2.6937985" + sodipodi:start="0" + sodipodi:end="6.24313" + sodipodi:open="true" + d="m -235.17777,-10.451634 a 1.1969259,2.6937985 0 0 1 -1.18494,2.6936631 1.1969259,2.6937985 0 0 1 -1.20867,-2.6397171 1.1969259,2.6937985 0 0 1 1.16073,-2.746529 1.1969259,2.6937985 0 0 1 1.23192,2.584711" + transform="matrix(-0.1045308,-0.99452165,-0.99692418,0.07837201,0,0)" /> + <path + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:1.14333022;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="path6535-8-9-7" + sodipodi:type="arc" + sodipodi:cx="-133.89507" + sodipodi:cy="222.15356" + sodipodi:rx="0.96234822" + sodipodi:ry="2.6504626" + sodipodi:start="0" + sodipodi:end="6.24313" + sodipodi:open="true" + d="m -132.93272,222.15356 a 0.96234822,2.6504626 0 0 1 -0.95271,2.65033 0.96234822,2.6504626 0 0 1 -0.97179,-2.59725 0.96234822,2.6504626 0 0 1 0.93325,-2.70234 0.96234822,2.6504626 0 0 1 0.99048,2.54313" + transform="matrix(-0.96913634,-0.24652537,-0.42729473,0.90411239,0,0)" /> + <rect + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:0.39983636;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="rect6512-7" + width="1.7448033" + height="2.6443408" + x="34.487484" + y="239.90688" + ry="0.037419919" /> + <rect + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:0.46073782;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="rect6512-7-4" + width="1.7113948" + height="3.5797842" + x="34.487488" + y="253.13586" + ry="0.050657324" /> + <rect + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:0.69791192;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="rect6512-7-4-3" + width="2.361851" + height="5.9517961" + x="34.475014" + y="264.50754" + ry="0.084223531" /> + <rect + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:0.25328118;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + id="rect6512-7-4-3-6" + width="0.97427976" + height="1.9002969" + x="-80.71402" + y="268.84479" + ry="0.026890995" + transform="matrix(0.97086452,-0.23962905,0.42199595,0.90659772,0,0)" /> + <path + style="fill:#2b0000;fill-opacity:1;stroke:none;stroke-width:0.26397765px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 34.644811,267.95014 -1.80407,2.51083 h 2.121453 l -0.01669,-2.72699 z" + id="path243" + inkscape:connector-curvature="0" /> + </g> +</svg> diff --git a/assets/logo.svg.png b/assets/logo.svg.png Binary files differ. diff --git a/samples/arith.vh b/samples/arith.vh @@ -0,0 +1,3 @@ +3 + 4 * 2 - 1 +-1 * 2 + diff --git a/samples/hello_world.vh b/samples/hello_world.vh @@ -0,0 +1,3 @@ +import :IO + +IO::puts "Hello, World." diff --git a/samples/raw_hello_world.vh b/samples/raw_hello_world.vh @@ -0,0 +1,3 @@ +# Without using the prelude, or importing IO... + +_write_stream _STDOUT "Hello, World.\n"