<!DOCTYPE html> <html lang="en-US"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=Edge"> <link rel="stylesheet" href="/aura-lang/assets/css/just-the-docs-default.css"> <link rel="stylesheet" href="/aura-lang/assets/css/just-the-docs-head-nav.css" id="jtd-head-nav-stylesheet"> <style id="jtd-nav-activation"> .site-nav ul li a { background-image: none; } </style> <script src="/aura-lang/assets/js/vendor/lunr.min.js"></script> <script src="/aura-lang/assets/js/just-the-docs.js"></script> <meta name="viewport" content="width=device-width, initial-scale=1"> <!-- Begin Jekyll SEO tag v2.8.0 --> <title>Aura | A gradually-typed programming language that transpiles to Python.</title> <meta name="generator" content="Jekyll v3.10.0" /> <meta property="og:title" content="Aura" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="A gradually-typed programming language that transpiles to Python." /> <meta property="og:description" content="A gradually-typed programming language that transpiles to Python." /> <link rel="canonical" href="https://joaovalentimtheo.github.io/aura-lang/assets/css/just-the-docs-head-nav.css" /> <meta property="og:url" content="https://joaovalentimtheo.github.io/aura-lang/assets/css/just-the-docs-head-nav.css" /> <meta property="og:site_name" content="Aura" /> <meta property="og:type" content="website" /> <meta name="twitter:card" content="summary" /> <meta property="twitter:title" content="Aura" /> <script type="application/ld+json"> {"@context":"https://schema.org","@type":"WebPage","description":"A gradually-typed programming language that transpiles to Python.","headline":"Aura","url":"https://joaovalentimtheo.github.io/aura-lang/assets/css/just-the-docs-head-nav.css"}</script> <!-- End Jekyll SEO tag --> </head> <body> <a class="skip-to-main" href="#main-content">Skip to main content</a> <svg xmlns="http://www.w3.org/2000/svg" class="d-none"> <symbol id="svg-link" viewBox="0 0 24 24"> <title>Link</title> <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-link"> <path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71"></path><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71"></path> </svg> </symbol> <symbol id="svg-menu" viewBox="0 0 24 24"> <title>Menu</title> <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-menu"> <line x1="3" y1="12" x2="21" y2="12"></line><line x1="3" y1="6" x2="21" y2="6"></line><line x1="3" y1="18" x2="21" y2="18"></line> </svg> </symbol> <symbol id="svg-arrow-right" viewBox="0 0 24 24"> <title>Expand</title> <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-chevron-right"> <polyline points="9 18 15 12 9 6"></polyline> </svg> </symbol> <!-- Feather. MIT License: https://github.com/feathericons/feather/blob/master/LICENSE --> <symbol id="svg-external-link" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"> <title id="svg-external-link-title">(external link)</title> <path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line> </symbol> <symbol id="svg-doc" viewBox="0 0 24 24"> <title>Document</title> <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-file"> <path d="M13 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V9z"></path><polyline points="13 2 13 9 20 9"></polyline> </svg> </symbol> <symbol id="svg-search" viewBox="0 0 24 24"> <title>Search</title> <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-search"> <circle cx="11" cy="11" r="8"></circle><line x1="21" y1="21" x2="16.65" y2="16.65"></line> </svg> </symbol> <!-- Bootstrap Icons. MIT License: https://github.com/twbs/icons/blob/main/LICENSE.md --> <symbol id="svg-copy" viewBox="0 0 16 16"> <title>Copy</title> <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="currentColor" class="bi bi-clipboard" viewBox="0 0 16 16"> <path d="M4 1.5H3a2 2 0 0 0-2 2V14a2 2 0 0 0 2 2h10a2 2 0 0 0 2-2V3.5a2 2 0 0 0-2-2h-1v1h1a1 1 0 0 1 1 1V14a1 1 0 0 1-1 1H3a1 1 0 0 1-1-1V3.5a1 1 0 0 1 1-1h1v-1z"/> <path d="M9.5 1a.5.5 0 0 1 .5.5v1a.5.5 0 0 1-.5.5h-3a.5.5 0 0 1-.5-.5v-1a.5.5 0 0 1 .5-.5h3zm-3-1A1.5 1.5 0 0 0 5 1.5v1A1.5 1.5 0 0 0 6.5 4h3A1.5 1.5 0 0 0 11 2.5v-1A1.5 1.5 0 0 0 9.5 0h-3z"/> </svg> </symbol> <symbol id="svg-copied" viewBox="0 0 16 16"> <title>Copied</title> <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="currentColor" class="bi bi-clipboard-check-fill" viewBox="0 0 16 16"> <path d="M6.5 0A1.5 1.5 0 0 0 5 1.5v1A1.5 1.5 0 0 0 6.5 4h3A1.5 1.5 0 0 0 11 2.5v-1A1.5 1.5 0 0 0 9.5 0h-3Zm3 1a.5.5 0 0 1 .5.5v1a.5.5 0 0 1-.5.5h-3a.5.5 0 0 1-.5-.5v-1a.5.5 0 0 1 .5-.5h3Z"/> <path d="M4 1.5H3a2 2 0 0 0-2 2V14a2 2 0 0 0 2 2h10a2 2 0 0 0 2-2V3.5a2 2 0 0 0-2-2h-1v1A2.5 2.5 0 0 1 9.5 5h-3A2.5 2.5 0 0 1 4 2.5v-1Zm6.854 7.354-3 3a.5.5 0 0 1-.708 0l-1.5-1.5a.5.5 0 0 1 .708-.708L7.5 10.793l2.646-2.647a.5.5 0 0 1 .708.708Z"/> </svg> </symbol> </svg> <header class="side-bar"> <div class="site-header"> <a href="/aura-lang/" class="site-title lh-tight"> Aura </a> <button id="menu-button" class="site-button btn-reset" aria-label="Menu" aria-expanded="false"> <svg viewBox="0 0 24 24" class="icon" aria-hidden="true"><use xlink:href="#svg-menu"></use></svg> </button> </div> <nav aria-label="Main" id="site-nav" class="site-nav"> <ul class="nav-list"><li class="nav-list-item"><a href="/aura-lang/" class="nav-list-link">Aura</a></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="Learn Aura submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/aura-lang/learn/" class="nav-list-link">Learn Aura</a><ul class="nav-list"><li class="nav-list-item"><a href="/aura-lang/learn/00-introduction.html" class="nav-list-link">00 — Introduction</a></li><li class="nav-list-item"><a href="/aura-lang/learn/01-installation.html" class="nav-list-link">01 — Installation</a></li><li class="nav-list-item"><a href="/aura-lang/learn/02-first-program.html" class="nav-list-link">02 — First Program</a></li><li class="nav-list-item"><a href="/aura-lang/learn/03-language-basics.html" class="nav-list-link">03 — Language Basics</a></li><li class="nav-list-item"><a href="/aura-lang/learn/04-variables-and-types.html" class="nav-list-link">04 — Variables and Types</a></li><li class="nav-list-item"><a href="/aura-lang/learn/05-control-flow.html" class="nav-list-link">05 — Control Flow</a></li><li class="nav-list-item"><a href="/aura-lang/learn/06-functions.html" class="nav-list-link">06 — Functions</a></li><li class="nav-list-item"><a href="/aura-lang/learn/07-classes-and-objects.html" class="nav-list-link">07 — Classes and Objects</a></li><li class="nav-list-item"><a href="/aura-lang/learn/08-traits-and-abstract-classes.html" class="nav-list-link">08 — Traits and Abstract Classes</a></li><li class="nav-list-item"><a href="/aura-lang/learn/09-collections.html" class="nav-list-link">09 — Collections</a></li><li class="nav-list-item"><a href="/aura-lang/learn/10-lambdas-and-functional.html" class="nav-list-link">10 — Lambdas and Functional Programming</a></li><li class="nav-list-item"><a href="/aura-lang/learn/11-pattern-matching.html" class="nav-list-link">11 — Pattern Matching</a></li><li class="nav-list-item"><a href="/aura-lang/learn/12-error-handling.html" class="nav-list-link">12 — Error Handling</a></li><li class="nav-list-item"><a href="/aura-lang/learn/13-modules-and-imports.html" class="nav-list-link">13 — Modules and Imports</a></li><li class="nav-list-item"><a href="/aura-lang/learn/14-python-interop.html" class="nav-list-link">14 — Python Interop</a></li><li class="nav-list-item"><a href="/aura-lang/learn/15-macros-and-decorators.html" class="nav-list-link">15 — Macros and Decorators</a></li><li class="nav-list-item"><a href="/aura-lang/learn/16-cli-and-tooling.html" class="nav-list-link">16 — CLI and Tooling</a></li></ul></li><li class="nav-list-item"><button class="nav-list-expander btn-reset" aria-label="Aura Language Reference submenu" aria-expanded="false"> <svg viewBox="0 0 24 24" aria-hidden="true"><use xlink:href="#svg-arrow-right"></use></svg> </button><a href="/aura-lang/language-reference/" class="nav-list-link">Aura Language Reference</a><ul class="nav-list"><li class="nav-list-item"><a href="/aura-lang/language-reference/classes.html" class="nav-list-link">Classes, Traits and Inheritance</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/closures.html" class="nav-list-link">Closures and Lambdas</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/functions.html" class="nav-list-link">Functions</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/grammar.html" class="nav-list-link">Aura Grammar Specification</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/expressions.html" class="nav-list-link">Expressions</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/lexical-structure.html" class="nav-list-link">Lexical Structure</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/modules.html" class="nav-list-link">Modules, Packages and Imports</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/python-interop.html" class="nav-list-link">Python Interop</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/semantics.html" class="nav-list-link">Semantics — Execution Model</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/statements.html" class="nav-list-link">Statements</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/syntax.html" class="nav-list-link">Concrete Syntax (forms and examples)</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/type-system.html" class="nav-list-link">Type System and Type Checking</a></li><li class="nav-list-item"><a href="/aura-lang/language-reference/types.html" class="nav-list-link">Types — Catalog and Syntax</a></li></ul></li><li class="nav-list-item"><a href="/aura-lang/ERRORS.html" class="nav-list-link">Aura Diagnostics Reference</a></li><li class="nav-list-item"><a href="/aura-lang/AUP.html" class="nav-list-link">AUP — Aura Patterns</a></li><li class="nav-list-item"><a href="/aura-lang/DESIGN.html" class="nav-list-link">Aura Transpiler - Architecture</a></li><li class="nav-list-item"><a href="/aura-lang/COMPLETENESS.html" class="nav-list-link">Aura Language Completeness Report</a></li><li class="nav-list-item"><a href="/aura-lang/AUDIT.html" class="nav-list-link">Aura Audit Report</a></li></ul> </nav> <div class="d-md-block d-none site-footer"> This site uses <a href="https://github.com/just-the-docs/just-the-docs">Just the Docs</a>, a documentation theme for Jekyll. </div> </header> <div class="main" id="top"> <div id="main-header" class="main-header"> <div class="search" role="search"> <div class="search-input-wrap"> <input type="text" id="search-input" class="search-input" tabindex="0" placeholder="Search Aura" autocomplete="off"> <label for="search-input" class="search-label"> <span class="sr-only">Search Aura</span> <svg viewBox="0 0 24 24" class="search-icon" aria-hidden="true"><use xlink:href="#svg-search"></use></svg> </label> </div> <div id="search-results" class="search-results"></div> </div> <nav aria-label="Auxiliary" class="aux-nav"> <ul class="aux-nav-list"> <li class="aux-nav-list-item"> <a href="https://github.com/JoaoValentimTheo/aura-lang" class="site-button" > GitHub </a> </li> <li class="aux-nav-list-item"> <a href="https://pypi.org/project/aura-language/" class="site-button" > PyPI </a> </li> </ul> </nav> </div> <div class="main-content-wrap"> <div id="main-content" class="main-content"> <main> </main> <hr> <footer> <p><a href="#top" id="back-to-top">Back to top</a></p> <div class="d-md-none mt-4 fs-2"> This site uses <a href="https://github.com/just-the-docs/just-the-docs">Just the Docs</a>, a documentation theme for Jekyll. </div> </footer> </div> </div> <div class="search-overlay"></div> </div> </body> </html>
