Skip to content

Commit

Permalink
Deployed b4d5020 with MkDocs version: 1.6.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@ponylang-main
ponylang-main committed Jan 24, 2025
1 parent b4d5020 commit dc8dabc
Show file tree
Hide file tree
Showing 127 changed files with 1,519 additions and 4,612 deletions.
50 changes: 12 additions & 38 deletions 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,15 +12,15 @@


<link rel="icon" href="/corral/assets/logo.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.5">
<meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.49">



<title>corral</title>



<link rel="stylesheet" href="/corral/assets/stylesheets/main.50c56a3b.min.css">
<link rel="stylesheet" href="/corral/assets/stylesheets/main.6f8fc17f.min.css">


<link rel="stylesheet" href="/corral/assets/stylesheets/palette.06af60db.min.css">
Expand All @@ -44,7 +44,7 @@

<link rel="stylesheet" href="/corral/assets/ponylang.css">

<script>__md_scope=new URL("/corral/",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
<script>__md_scope=new URL("/corral/",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>



Expand Down Expand Up @@ -86,7 +86,7 @@
</a>
<label class="md-header__button md-icon" for="__drawer">

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3V6m0 5h18v2H3v-2m0 5h18v2H3v-2Z"/></svg>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3zm0 5h18v2H3zm0 5h18v2H3z"/></svg>
</label>
<div class="md-header__title" data-md-component="header-title">
<div class="md-header__ellipsis">
Expand All @@ -112,7 +112,7 @@

<label class="md-header__button md-icon" for="__search">

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.516 6.516 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5Z"/></svg>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg>
</label>
<div class="md-search" data-md-component="search" role="dialog">
<label class="md-search__overlay" for="__search"></label>
Expand All @@ -121,21 +121,21 @@
<input type="text" class="md-search__input" name="query" aria-label="Search" placeholder="Search" autocapitalize="off" autocorrect="off" autocomplete="off" spellcheck="false" data-md-component="search-query" required>
<label class="md-search__icon md-icon" for="__search">

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.516 6.516 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5Z"/></svg>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg>

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12Z"/></svg>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11z"/></svg>
</label>
<nav class="md-search__options" aria-label="Search">

<button type="reset" class="md-search__icon md-icon" title="Clear" aria-label="Clear" tabindex="-1">

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12 19 6.41Z"/></svg>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"/></svg>
</button>
</nav>

</form>
<div class="md-search__output">
<div class="md-search__scrollwrap" data-md-scrollfix>
<div class="md-search__scrollwrap" tabindex="0" data-md-scrollfix>
<div class="md-search-result" data-md-component="search-result">
<div class="md-search-result__meta">
Initializing search
Expand Down Expand Up @@ -213,12 +213,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2" >


Expand Down Expand Up @@ -320,12 +318,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_3" >


Expand Down Expand Up @@ -427,12 +423,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_4" >


Expand Down Expand Up @@ -807,12 +801,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_5" >


Expand Down Expand Up @@ -1271,12 +1263,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_6" >


Expand Down Expand Up @@ -1420,12 +1410,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_7" >


Expand Down Expand Up @@ -1674,12 +1662,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_8" >


Expand Down Expand Up @@ -1760,12 +1746,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_9" >


Expand Down Expand Up @@ -1888,12 +1872,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_10" >


Expand Down Expand Up @@ -2079,12 +2061,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_11" >


Expand Down Expand Up @@ -2228,12 +2208,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_12" >


Expand Down Expand Up @@ -2419,12 +2397,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_13" >


Expand Down Expand Up @@ -2631,12 +2607,10 @@




<li class="md-nav__item md-nav__item--nested">




<input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_14" >


Expand Down Expand Up @@ -3124,7 +3098,7 @@ <h1>404 - Not found</h1>

<button type="button" class="md-top md-icon" data-md-component="top" hidden>

<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12Z"/></svg>
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8z"/></svg>
Back to top
</button>

Expand Down Expand Up @@ -3154,10 +3128,10 @@ <h1>404 - Not found</h1>
</div>


<script id="__config" type="application/json">{"base": "/corral/", "features": ["navigation.top"], "search": "/corral/assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
<script id="__config" type="application/json">{"base": "/corral/", "features": ["navigation.top"], "search": "/corral/assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>


<script src="/corral/assets/javascripts/bundle.c18c5fb9.min.js"></script>
<script src="/corral/assets/javascripts/bundle.88dd0f4e.min.js"></script>


</body>
Expand Down
16 changes: 16 additions & 0 deletions assets/javascripts/bundle.88dd0f4e.min.js
View file

Large diffs are not rendered by default.

Loading

0 comments on commit dc8dabc

Please sign in to comment.