Deploying to gh-pages from @ 3f65f37 🚀

IntersectMBO · Apr 4, 2023 · 2f61dd7 · 2f61dd7
1 parent 7ac615b
commit 2f61dd7
Show file tree

Hide file tree

Showing 208 changed files with 129,965 additions and 133,921 deletions.
diff --git a/master/doc-index-All.html b/master/doc-index-All.html
diff --git a/master/doc-index-C.html b/master/doc-index-C.html
diff --git a/master/doc-index-D.html b/master/doc-index-D.html
diff --git a/master/doc-index-T.html b/master/doc-index-T.html
diff --git a/master/doc-index.json b/master/doc-index.json
diff --git a/master/plutus-core/html/objects.inv b/master/plutus-core/html/objects.inv
diff --git a/master/plutus-ghc-stub/html/objects.inv b/master/plutus-ghc-stub/html/objects.inv
diff --git a/master/plutus-ledger-api/html/objects.inv b/master/plutus-ledger-api/html/objects.inv
diff --git a/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-CK.html b/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-CK.html
diff --git a/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-Evaluation.html b/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-Evaluation.html
diff --git a/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-ReductionEC-Progress.html b/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-ReductionEC-Progress.html
@@ -1 +1 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>MAlonzo.Code.Algorithmic.ReductionEC.Progress</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs</span><ul class="links" id="page-menu"><li><a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">MAlonzo.Code.Algorithmic.ReductionEC.Progress</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:d_Progress_10" class="def">d_Progress_10</a> :: p -&gt; p -&gt; () <a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html#d_Progress_10" class="link">Source</a> <a href="#v:d_Progress_10" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:T_Progress_10" class="def">T_Progress_10</a> <a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html#T_Progress_10" class="link">Source</a> <a href="#t:T_Progress_10" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:C_step_18" class="def">C_step_18</a> <a href="MAlonzo-Code-Algorithmic.html#t:T__-39-8866-39-__86" title="MAlonzo.Code.Algorithmic">T__'8866'__86</a> <a href="MAlonzo-Code-Algorithmic-ReductionEC.html#t:T__-39-8212-39--39-8594-39-__886" title="MAlonzo.Code.Algorithmic.ReductionEC">T__'8212''8594'__886</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:C_done_20" class="def">C_done_20</a> <a href="MAlonzo-Code-Algorithmic-ReductionEC.html#t:T_Value_76" title="MAlonzo.Code.Algorithmic.ReductionEC">T_Value_76</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:C_error_22" class="def">C_error_22</a> <a href="MAlonzo-Code-Algorithmic-ReductionEC.html#t:T_Error_636" title="MAlonzo.Code.Algorithmic.ReductionEC">T_Error_636</a></td><td class="doc empty">&nbsp;</td></tr></table></div></div><div class="top"><p class="src"><a id="v:d_progress_28" class="def">d_progress_28</a> :: <a href="MAlonzo-Code-Type-BetaNormal.html#t:T__-39-8866-39-Nf-39-8902-39-__44" title="MAlonzo.Code.Type.BetaNormal">T__'8866'Nf'8902'__44</a> -&gt; <a href="MAlonzo-Code-Algorithmic.html#t:T__-39-8866-39-__86" title="MAlonzo.Code.Algorithmic">T__'8866'__86</a> -&gt; <a href="MAlonzo-Code-Algorithmic-ReductionEC-Progress.html#t:T_Progress_10" title="MAlonzo.Code.Algorithmic.ReductionEC.Progress">T_Progress_10</a> <a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html#d_progress_28" class="link">Source</a> <a href="#v:d_progress_28" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.26.0</p></div></body></html>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>MAlonzo.Code.Algorithmic.ReductionEC.Progress</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs</span><ul class="links" id="page-menu"><li><a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">MAlonzo.Code.Algorithmic.ReductionEC.Progress</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:d_Progress_10" class="def">d_Progress_10</a> :: p -&gt; p -&gt; () <a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html#d_Progress_10" class="link">Source</a> <a href="#v:d_Progress_10" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:T_Progress_10" class="def">T_Progress_10</a> <a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html#T_Progress_10" class="link">Source</a> <a href="#t:T_Progress_10" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:C_step_18" class="def">C_step_18</a> <a href="MAlonzo-Code-Algorithmic.html#t:T__-39-8866-39-__86" title="MAlonzo.Code.Algorithmic">T__'8866'__86</a> <a href="MAlonzo-Code-Algorithmic-ReductionEC.html#t:T__-39-8212-39--39-8594-39-__572" title="MAlonzo.Code.Algorithmic.ReductionEC">T__'8212''8594'__572</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:C_done_20" class="def">C_done_20</a> <a href="MAlonzo-Code-Algorithmic-ReductionEC.html#t:T_Value_76" title="MAlonzo.Code.Algorithmic.ReductionEC">T_Value_76</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a id="v:C_error_22" class="def">C_error_22</a> <a href="MAlonzo-Code-Algorithmic-ReductionEC.html#t:T_Error_322" title="MAlonzo.Code.Algorithmic.ReductionEC">T_Error_322</a></td><td class="doc empty">&nbsp;</td></tr></table></div></div><div class="top"><p class="src"><a id="v:d_progress_28" class="def">d_progress_28</a> :: <a href="MAlonzo-Code-Type-BetaNormal.html#t:T__-39-8866-39-Nf-39-8902-39-__44" title="MAlonzo.Code.Type.BetaNormal">T__'8866'Nf'8902'__44</a> -&gt; <a href="MAlonzo-Code-Algorithmic.html#t:T__-39-8866-39-__86" title="MAlonzo.Code.Algorithmic">T__'8866'__86</a> -&gt; <a href="MAlonzo-Code-Algorithmic-ReductionEC-Progress.html#t:T_Progress_10" title="MAlonzo.Code.Algorithmic.ReductionEC.Progress">T_Progress_10</a> <a href="src/MAlonzo.Code.Algorithmic.ReductionEC.Progress.html#d_progress_28" class="link">Source</a> <a href="#v:d_progress_28" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.26.0</p></div></body></html>
diff --git a/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-ReductionEC.html b/master/plutus-metatheory/html/MAlonzo-Code-Algorithmic-ReductionEC.html
diff --git a/master/plutus-metatheory/html/doc-index-All.html b/master/plutus-metatheory/html/doc-index-All.html
diff --git a/master/plutus-metatheory/html/doc-index-C.html b/master/plutus-metatheory/html/doc-index-C.html
diff --git a/master/plutus-metatheory/html/doc-index-D.html b/master/plutus-metatheory/html/doc-index-D.html
diff --git a/master/plutus-metatheory/html/doc-index-T.html b/master/plutus-metatheory/html/doc-index-T.html
diff --git a/master/plutus-metatheory/html/doc-index.json b/master/plutus-metatheory/html/doc-index.json
diff --git a/master/plutus-metatheory/html/objects.inv b/master/plutus-metatheory/html/objects.inv
diff --git a/master/plutus-metatheory/html/plutus-metatheory.haddock b/master/plutus-metatheory/html/plutus-metatheory.haddock