Skip to content

Commit

Permalink
Deploying to gh-pages from @ 8893a35 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
Tara committed Nov 25, 2024
1 parent 2515ff6 commit 3bb6543
Show file tree
Hide file tree
Showing 153 changed files with 2,919 additions and 121 deletions.
70 changes: 35 additions & 35 deletions 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@



<link rel="icon" href="/juvix-mkdocs/assets/logo.svg">
<link rel="icon" href="/assets/logo.svg">
<meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.45">


Expand All @@ -24,10 +24,10 @@



<link rel="stylesheet" href="/juvix-mkdocs/assets/stylesheets/main.0253249f.min.css">
<link rel="stylesheet" href="/assets/stylesheets/main.0253249f.min.css">


<link rel="stylesheet" href="/juvix-mkdocs/assets/stylesheets/palette.06af60db.min.css">
<link rel="stylesheet" href="/assets/stylesheets/palette.06af60db.min.css">



Expand All @@ -46,11 +46,11 @@



<link rel="stylesheet" href="/juvix-mkdocs/assets/css/juvix-highlighting.css">
<link rel="stylesheet" href="/assets/css/juvix-highlighting.css">

<link rel="stylesheet" href="/juvix-mkdocs/assets/css/juvix-material-style.css">
<link rel="stylesheet" href="/assets/css/juvix-material-style.css">

<script>__md_scope=new URL("/juvix-mkdocs/",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("/",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 @@ -117,9 +117,9 @@

<header class="md-header md-header--shadow md-header--lifted" data-md-component="header">
<nav class="md-header__inner md-grid" aria-label="Header">
<a href="/juvix-mkdocs/index.html" title="my-juvix-project" class="md-header__button md-logo" aria-label="my-juvix-project" data-md-component="logo">
<a href="/index.html" title="my-juvix-project" class="md-header__button md-logo" aria-label="my-juvix-project" data-md-component="logo">

<img src="/juvix-mkdocs/assets/logo.svg" alt="logo">
<img src="/assets/logo.svg" alt="logo">

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


<li class="md-tabs__item">
<a href="/juvix-mkdocs/index.html" class="md-tabs__link">
<a href="/index.html" class="md-tabs__link">



Expand All @@ -297,7 +297,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/installation.html" class="md-tabs__link">
<a href="/tutorial/installation.html" class="md-tabs__link">



Expand All @@ -318,7 +318,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/juvix_markdown.html" class="md-tabs__link">
<a href="/tutorial/juvix_markdown.html" class="md-tabs__link">



Expand All @@ -340,7 +340,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/isabelle.html" class="md-tabs__link">
<a href="/tutorial/isabelle.html" class="md-tabs__link">



Expand All @@ -360,7 +360,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/snippets.html" class="md-tabs__link">
<a href="/tutorial/snippets.html" class="md-tabs__link">



Expand All @@ -379,7 +379,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/wikilinks.html" class="md-tabs__link">
<a href="/tutorial/wikilinks.html" class="md-tabs__link">



Expand All @@ -398,7 +398,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/bibliography.html" class="md-tabs__link">
<a href="/tutorial/bibliography.html" class="md-tabs__link">



Expand All @@ -419,7 +419,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/diagrams_using_kroki.html" class="md-tabs__link">
<a href="/tutorial/diagrams_using_kroki.html" class="md-tabs__link">



Expand All @@ -439,7 +439,7 @@


<li class="md-tabs__item">
<a href="/juvix-mkdocs/tutorial/todos.html" class="md-tabs__link">
<a href="/tutorial/todos.html" class="md-tabs__link">



Expand Down Expand Up @@ -482,9 +482,9 @@

<nav class="md-nav md-nav--primary md-nav--lifted md-nav--integrated" aria-label="Navigation" data-md-level="0">
<label class="md-nav__title" for="__drawer">
<a href="/juvix-mkdocs/index.html" title="my-juvix-project" class="md-nav__button md-logo" aria-label="my-juvix-project" data-md-component="logo">
<a href="/index.html" title="my-juvix-project" class="md-nav__button md-logo" aria-label="my-juvix-project" data-md-component="logo">

<img src="/juvix-mkdocs/assets/logo.svg" alt="logo">
<img src="/assets/logo.svg" alt="logo">

</a>
my-juvix-project
Expand All @@ -511,7 +511,7 @@


<li class="md-nav__item">
<a href="/juvix-mkdocs/index.html" class="md-nav__link">
<a href="/index.html" class="md-nav__link">


<span class="md-ellipsis">
Expand All @@ -531,7 +531,7 @@


<li class="md-nav__item">
<a href="/juvix-mkdocs/tutorial/installation.html" class="md-nav__link">
<a href="/tutorial/installation.html" class="md-nav__link">


<span class="md-ellipsis">
Expand Down Expand Up @@ -575,7 +575,7 @@



<a href="/juvix-mkdocs/tutorial/juvix_markdown.html" class="md-nav__link">
<a href="/tutorial/juvix_markdown.html" class="md-nav__link">


<span class="md-ellipsis">
Expand Down Expand Up @@ -623,7 +623,7 @@



<a href="/juvix-mkdocs/tutorial/isabelle.html" class="md-nav__link">
<a href="/tutorial/isabelle.html" class="md-nav__link">


<span class="md-ellipsis">
Expand All @@ -649,7 +649,7 @@


<li class="md-nav__item">
<a href="/juvix-mkdocs/tutorial/snippets.html" class="md-nav__link">
<a href="/tutorial/snippets.html" class="md-nav__link">


<span class="md-ellipsis">
Expand All @@ -669,7 +669,7 @@


<li class="md-nav__item">
<a href="/juvix-mkdocs/tutorial/wikilinks.html" class="md-nav__link">
<a href="/tutorial/wikilinks.html" class="md-nav__link">


<span class="md-ellipsis">
Expand All @@ -689,7 +689,7 @@


<li class="md-nav__item">
<a href="/juvix-mkdocs/tutorial/bibliography.html" class="md-nav__link">
<a href="/tutorial/bibliography.html" class="md-nav__link">


<span class="md-ellipsis">
Expand Down Expand Up @@ -731,7 +731,7 @@



<a href="/juvix-mkdocs/tutorial/diagrams_using_kroki.html" class="md-nav__link">
<a href="/tutorial/diagrams_using_kroki.html" class="md-nav__link">


<span class="md-ellipsis">
Expand All @@ -757,7 +757,7 @@


<li class="md-nav__item">
<a href="/juvix-mkdocs/tutorial/todos.html" class="md-nav__link">
<a href="/tutorial/todos.html" class="md-nav__link">


<span class="md-ellipsis">
Expand Down Expand Up @@ -806,8 +806,8 @@ <h1>404 - Not found</h1>
<div class="md-copyright">

<div class="md-copyright__highlight">
&copy; 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: November 24, 2024
at 04:24 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
&copy; 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: November 25, 2024
at 07:18 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>

Expand All @@ -825,16 +825,16 @@ <h1>404 - Not found</h1>
<div class="md-progress" data-md-component="progress" role="progressbar"></div>


<script id="__config" type="application/json">{"base": "/juvix-mkdocs/", "features": ["announce.dismiss", "content.code.annotate", "content.code.copy", "content.tooltips", "search.highlight", "search.suggest", "search.sharing", "navigation.instant", "navigation.instant.prefetch", "navigation.instant.progress", "navigation.instant.preview", "navigation.tracking", "navigation.tabs", "navigation.tabs.sticky", "navigation.prune", "navigation.indexes", "navigation.top", "navigation.path", "toc.follow", "toc.integrate"], "search": "/juvix-mkdocs/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 id="__config" type="application/json">{"base": "/", "features": ["announce.dismiss", "content.code.annotate", "content.code.copy", "content.tooltips", "search.highlight", "search.suggest", "search.sharing", "navigation.instant", "navigation.instant.prefetch", "navigation.instant.progress", "navigation.instant.preview", "navigation.tracking", "navigation.tabs", "navigation.tabs.sticky", "navigation.prune", "navigation.indexes", "navigation.top", "navigation.path", "toc.follow", "toc.integrate"], "search": "/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="/juvix-mkdocs/assets/javascripts/bundle.83f73b43.min.js"></script>
<script src="/assets/javascripts/bundle.83f73b43.min.js"></script>

<script src="/juvix-mkdocs/assets/js/tex-svg.js"></script>
<script src="/assets/js/tex-svg.js"></script>

<script src="/juvix-mkdocs/assets/js/mathjax.js"></script>
<script src="/assets/js/mathjax.js"></script>

<script src="/juvix-mkdocs/assets/js/highlight.js"></script>
<script src="/assets/js/highlight.js"></script>


</body>
Expand Down
9 changes: 9 additions & 0 deletions Juvix/Builtin/V1/Bool-src.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
<!DOCTYPE HTML>
<html xmlns="http://www.w3.org/1999/xhtml"><meta charset="UTF-8"><link href="/assets/css/juvix-catppuchin.css" rel="stylesheet" type="text/css"><link href="/assets/css/latte.css" rel="stylesheet" type="text/css"><link href="/assets/css/juvix-source.css" rel="stylesheet" type="text/css"><script src="/assets/js/highlight.js" type="text/javascript"></script><div id="package-header"><span class="caption"></span></div><pre id="src-content"><span class="ju-keyword">module</span> <span id="Juvix.Builtin.V1.Bool:0"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:0" class="ju-code-link ju-module"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:0" class="ju-code-link ju-module"><span class="ju-module"><span class="ju-module">Juvix.Builtin.V1.Bool</span></span></a></span></a></span></span><span class="ju-delimiter">;</span>

<span class="ju-judoc">---</span> <span class="ju-judoc">Inductive definition of booleans.</span>
<span class="ju-keyword">builtin</span> <span class="ju-keyword">bool</span>
<span class="ju-keyword">type</span> <span id="Juvix.Builtin.V1.Bool:1"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Bool</span></a></span></a></span></span> <span class="ju-keyword">:=</span>
<span class="ju-keyword">|</span> <span id="Juvix.Builtin.V1.Bool:2"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="ju-constructor">true</span></a></span></a></span></span>
<span class="ju-keyword">|</span> <span id="Juvix.Builtin.V1.Bool:3"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="annot"><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="ju-constructor">false</span></a></span></a></span></span><span class="ju-delimiter">;</span>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-25 7:18 UTC</pre></footer></html>
3 changes: 3 additions & 0 deletions Juvix/Builtin/V1/Bool.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
<!DOCTYPE HTML>
<html><head><title>Juvix Documentation</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta name="viewport" content="width=device-width, initial-scale=1"><script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script><script type="text/javascript" id="MathJax-script" src="/assets/js/tex-chtml.js"></script><script type="text/javascript" src="https://livejs.com/live.js"></script><link href="/assets/css/juvix-source.css" rel="stylesheet" type="text/css"><link href="/assets/css/juvix-catppuchin.css" rel="stylesheet" type="text/css"><link href="/assets/css/latte.css" rel="stylesheet" type="text/css"><link href="/assets/css/linuwial.css" rel="stylesheet" type="text/css"><script src="/assets/js/toggle.js" type="text/javascript"></script></head><body class="js-enabled"><div id="package-header"><span class="caption">docs - 0.0.0</span><ul id="page-menu" class="links"><li><a href="/Juvix/Builtin/V1/Bool-src.html">Source</a></li><li><a href="index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><p class="caption">Juvix.Builtin.V1.Bool</p></div><div id="table-of-contents"><div id="contents-list"><p class="caption" onclick="window.scrollTo(0,0)">Contents</p><ul><li><a href="#sec:description">Description</a></li><li><a href="#sec:interface">Definitions</a></li></ul></div></div><div id="description"><div class="doc"><a id="sec:description" href="sec:description"><h1>Description</h1></a></div></div><div id="interface"><a id="sec:interface" href="sec:interface"><h1>Definitions</h1></a><div class="top"><p class="src"><span class="ju-keyword">builtin</span> <span class="ju-keyword">bool</span>
<span class="ju-keyword">type</span> <span class="ju-define"><span id="Juvix.Builtin.V1.Bool:1"><span class="annot"><a href="/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="annot"><a href="/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Bool</span></a></span></a></span></span></span><a href="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="link">Source</a><a href="#Juvix.Builtin.V1.Bool:1" class="selflink">#</a></p><div class="doc"><p>Inductive definition of booleans.</p></div></div><div class="subs constructors"><p class="caption">Constructors</p><table><tbody><tr><td class="src"><span class="ju-keyword">|</span> <span class="ju-define"><span id="Juvix.Builtin.V1.Bool:2"><span class="annot"><a href="/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="annot"><a href="/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="ju-constructor">true</span></a></span></a></span></span></span></td><td class="doc"></td></tr><tr><td class="src"><span class="ju-keyword">|</span> <span class="ju-define"><span id="Juvix.Builtin.V1.Bool:3"><span class="annot"><a href="/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="annot"><a href="/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="ju-constructor">false</span></a></span></a></span></span></span></td><td class="doc"></td></tr></tbody></table></div></div></div><div id="footer"><p>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></p><a href="https://juvix.org"><img id="tara" src="/assets/images/tara-smiling.svg" alt="Tara"></a></div></body></html>
Loading

0 comments on commit 3bb6543

Please sign in to comment.