Skip to content

Commit

Permalink
Deploying to gh-pages from @ 223c66a 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@lukaszcz
lukaszcz authored and juvix-docs-ci committed Nov 13, 2024
1 parent 56e4dd0 commit 02834f3
Show file tree
Hide file tree
Showing 378 changed files with 173,230 additions and 0 deletions.
1,053 changes: 1,053 additions & 0 deletions pull-129/404.html
View file

Large diffs are not rendered by default.

3,878 changes: 3,878 additions & 0 deletions pull-129/CHANGELOG.html
View file

Large diffs are not rendered by default.

9 changes: 9 additions & 0 deletions pull-129/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="https://docs.juvix.org/pull-129/assets/css/juvix-catppuchin.css" rel="stylesheet" type="text/css"><link href="https://docs.juvix.org/pull-129/assets/css/latte.css" rel="stylesheet" type="text/css"><link href="https://docs.juvix.org/pull-129/assets/css/juvix-source.css" rel="stylesheet" type="text/css"><script src="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:0" class="ju-code-link ju-module"><span class="annot"><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="annot"><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="annot"><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="annot"><a href="https://docs.juvix.org/pull-129/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-13 16:45 UTC</pre></footer></html>
3 changes: 3 additions & 0 deletions pull-129/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="https://docs.juvix.org/pull-129/assets/js/tex-chtml.js"></script><script type="text/javascript" src="https://livejs.com/live.js"></script><link href="https://docs.juvix.org/pull-129/assets/css/juvix-source.css" rel="stylesheet" type="text/css"><link href="https://docs.juvix.org/pull-129/assets/css/juvix-catppuchin.css" rel="stylesheet" type="text/css"><link href="https://docs.juvix.org/pull-129/assets/css/latte.css" rel="stylesheet" type="text/css"><link href="https://docs.juvix.org/pull-129/assets/css/linuwial.css" rel="stylesheet" type="text/css"><script src="https://docs.juvix.org/pull-129/assets/js/toggle.js" type="text/javascript"></script></head><body class="js-enabled"><div id="package-header"><span class="caption">juvix-docs - 0.0.0</span><ul id="page-menu" class="links"><li><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="annot"><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="annot"><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/Juvix/Builtin/V1/Bool.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="annot"><a href="https://docs.juvix.org/pull-129/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="https://docs.juvix.org/pull-129/assets/images/tara-smiling.svg" alt="Tara"></a></div></body></html>
Loading

0 comments on commit 02834f3

Please sign in to comment.