Skip to content

Commit d49f26b

Browse files
github-actions[bot]github-actions[bot]
committed
Update formal specification documentation
- Updated from ouroboros-leios-formal-spec repository - Run ID: manual - Triggered by: workflow_dispatch
1 parent ae9211d commit d49f26b

File tree

552 files changed

+3633
-1096
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

552 files changed

+3633
-1096
lines changed

‎site/static/formal-spec/Agda.Builtin.Bool.html‎

100755100644
Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Bool</title><link rel="stylesheet" href="Agda.css"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
1+
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Bool</title><link rel="stylesheet" href="Agda.css"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><button class="menu-toggle" title="Toggle navigation menu" aria-label="Toggle navigation menu">
2+
<svg viewBox="0 0 24 24" width="24" height="24">
3+
<path fill="currentColor" d="M3,6H21V8H3V6M3,11H21V13H3V11M3,16H21V18H3V16Z"></path>
4+
</svg>
5+
</button><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
26
<svg viewBox="0 0 24 24" width="24" height="24" class="github-icon">
37
<path fill="currentColor" d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"></path>
48
</svg>
@@ -17,4 +21,4 @@
1721
<svg width="16" height="16" viewBox="0 0 16 16">
1822
<path fill="currentColor" d="M0 6.75C0 5.784.784 5 1.75 5h1.5a.75.75 0 0 1 0 1.5h-1.5a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-1.5a.75.75 0 0 1 1.5 0v1.5A1.75 1.75 0 0 1 9.25 16h-7.5A1.75 1.75 0 0 1 0 14.25Z"></path><path fill="currentColor" d="M5 1.75C5 .784 5.784 0 6.75 0h7.5C15.216 0 16 .784 16 1.75v7.5A1.75 1.75 0 0 1 14.25 11h-7.5A1.75 1.75 0 0 1 5 9.25Zm1.75-.25a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-7.5a.25.25 0 0 0-.25-.25Z"></path>
1923
</svg>
20-
</button></pre><script src="themeToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>
24+
</button></pre><script src="themeToggle.js" defer=""></script><script src="sidebarToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>

‎site/static/formal-spec/Agda.Builtin.Char.Properties.html‎

100755100644
Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Char.Properties</title><link rel="stylesheet" href="Agda.css"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
1+
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Char.Properties</title><link rel="stylesheet" href="Agda.css"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><button class="menu-toggle" title="Toggle navigation menu" aria-label="Toggle navigation menu">
2+
<svg viewBox="0 0 24 24" width="24" height="24">
3+
<path fill="currentColor" d="M3,6H21V8H3V6M3,11H21V13H3V11M3,16H21V18H3V16Z"></path>
4+
</svg>
5+
</button><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
26
<svg viewBox="0 0 24 24" width="24" height="24" class="github-icon">
37
<path fill="currentColor" d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"></path>
48
</svg>
@@ -17,4 +21,4 @@
1721
<svg width="16" height="16" viewBox="0 0 16 16">
1822
<path fill="currentColor" d="M0 6.75C0 5.784.784 5 1.75 5h1.5a.75.75 0 0 1 0 1.5h-1.5a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-1.5a.75.75 0 0 1 1.5 0v1.5A1.75 1.75 0 0 1 9.25 16h-7.5A1.75 1.75 0 0 1 0 14.25Z"></path><path fill="currentColor" d="M5 1.75C5 .784 5.784 0 6.75 0h7.5C15.216 0 16 .784 16 1.75v7.5A1.75 1.75 0 0 1 14.25 11h-7.5A1.75 1.75 0 0 1 5 9.25Zm1.75-.25a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-7.5a.25.25 0 0 0-.25-.25Z"></path>
1923
</svg>
20-
</button></pre><script src="themeToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>
24+
</button></pre><script src="themeToggle.js" defer=""></script><script src="sidebarToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>

‎site/static/formal-spec/Agda.Builtin.Char.html‎

100755100644
Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Char</title><link rel="stylesheet" href="Agda.css"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
1+
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Char</title><link rel="stylesheet" href="Agda.css"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><button class="menu-toggle" title="Toggle navigation menu" aria-label="Toggle navigation menu">
2+
<svg viewBox="0 0 24 24" width="24" height="24">
3+
<path fill="currentColor" d="M3,6H21V8H3V6M3,11H21V13H3V11M3,16H21V18H3V16Z"></path>
4+
</svg>
5+
</button><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
26
<svg viewBox="0 0 24 24" width="24" height="24" class="github-icon">
37
<path fill="currentColor" d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"></path>
48
</svg>
@@ -17,4 +21,4 @@
1721
<svg width="16" height="16" viewBox="0 0 16 16">
1822
<path fill="currentColor" d="M0 6.75C0 5.784.784 5 1.75 5h1.5a.75.75 0 0 1 0 1.5h-1.5a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-1.5a.75.75 0 0 1 1.5 0v1.5A1.75 1.75 0 0 1 9.25 16h-7.5A1.75 1.75 0 0 1 0 14.25Z"></path><path fill="currentColor" d="M5 1.75C5 .784 5.784 0 6.75 0h7.5C15.216 0 16 .784 16 1.75v7.5A1.75 1.75 0 0 1 14.25 11h-7.5A1.75 1.75 0 0 1 5 9.25Zm1.75-.25a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-7.5a.25.25 0 0 0-.25-.25Z"></path>
1923
</svg>
20-
</button></pre><script src="themeToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>
24+
</button></pre><script src="themeToggle.js" defer=""></script><script src="sidebarToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>

‎site/static/formal-spec/Agda.Builtin.Equality.html‎

100755100644
Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Equality</title><link rel="stylesheet" href="Agda.css"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
1+
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Equality</title><link rel="stylesheet" href="Agda.css"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><button class="menu-toggle" title="Toggle navigation menu" aria-label="Toggle navigation menu">
2+
<svg viewBox="0 0 24 24" width="24" height="24">
3+
<path fill="currentColor" d="M3,6H21V8H3V6M3,11H21V13H3V11M3,16H21V18H3V16Z"></path>
4+
</svg>
5+
</button><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
26
<svg viewBox="0 0 24 24" width="24" height="24" class="github-icon">
37
<path fill="currentColor" d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"></path>
48
</svg>
@@ -17,4 +21,4 @@
1721
<svg width="16" height="16" viewBox="0 0 16 16">
1822
<path fill="currentColor" d="M0 6.75C0 5.784.784 5 1.75 5h1.5a.75.75 0 0 1 0 1.5h-1.5a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-1.5a.75.75 0 0 1 1.5 0v1.5A1.75 1.75 0 0 1 9.25 16h-7.5A1.75 1.75 0 0 1 0 14.25Z"></path><path fill="currentColor" d="M5 1.75C5 .784 5.784 0 6.75 0h7.5C15.216 0 16 .784 16 1.75v7.5A1.75 1.75 0 0 1 14.25 11h-7.5A1.75 1.75 0 0 1 5 9.25Zm1.75-.25a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-7.5a.25.25 0 0 0-.25-.25Z"></path>
1923
</svg>
20-
</button></pre><script src="themeToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>
24+
</button></pre><script src="themeToggle.js" defer=""></script><script src="sidebarToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>

‎site/static/formal-spec/Agda.Builtin.Float.Properties.html‎

100755100644
Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Float.Properties</title><link rel="stylesheet" href="Agda.css"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
1+
<!DOCTYPE html><html><head><script src="themeInit.js"></script><meta charset="utf-8"><title>Agda.Builtin.Float.Properties</title><link rel="stylesheet" href="Agda.css"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="base.css"><link rel="stylesheet" href="search.css"><link rel="stylesheet" href="typePreview.css"></head><body><header><div class="header-left"><button class="menu-toggle" title="Toggle navigation menu" aria-label="Toggle navigation menu">
2+
<svg viewBox="0 0 24 24" width="24" height="24">
3+
<path fill="currentColor" d="M3,6H21V8H3V6M3,11H21V13H3V11M3,16H21V18H3V16Z"></path>
4+
</svg>
5+
</button><a href="/formal-spec/" class="back-button">← Back</a></div><div class="header-right"><a href="https://github.com/input-output-hk/ouroboros-leios-formal-spec" class="github-link" target="_blank" rel="noopener noreferrer" title="View on GitHub">
26
<svg viewBox="0 0 24 24" width="24" height="24" class="github-icon">
37
<path fill="currentColor" d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"></path>
48
</svg>
@@ -17,4 +21,4 @@
1721
<svg width="16" height="16" viewBox="0 0 16 16">
1822
<path fill="currentColor" d="M0 6.75C0 5.784.784 5 1.75 5h1.5a.75.75 0 0 1 0 1.5h-1.5a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-1.5a.75.75 0 0 1 1.5 0v1.5A1.75 1.75 0 0 1 9.25 16h-7.5A1.75 1.75 0 0 1 0 14.25Z"></path><path fill="currentColor" d="M5 1.75C5 .784 5.784 0 6.75 0h7.5C15.216 0 16 .784 16 1.75v7.5A1.75 1.75 0 0 1 14.25 11h-7.5A1.75 1.75 0 0 1 5 9.25Zm1.75-.25a.25.25 0 0 0-.25.25v7.5c0 .138.112.25.25.25h7.5a.25.25 0 0 0 .25-.25v-7.5a.25.25 0 0 0-.25-.25Z"></path>
1923
</svg>
20-
</button></pre><script src="themeToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>
24+
</button></pre><script src="themeToggle.js" defer=""></script><script src="sidebarToggle.js" defer=""></script></div></div><script src="codeBlocks.js" defer=""></script><script src="search.js" defer=""></script><div id="type-preview-container" class="type-preview-container" style="display: none;"></div><script src="typePreview.js" defer=""></script></body></html>

0 commit comments

Comments
 (0)