Skip to content

Commit

Permalink
Updated
Browse files Browse the repository at this point in the history
  • Loading branch information
lehins committed May 31, 2023
1 parent b23ad30 commit 36c336c
Show file tree
Hide file tree
Showing 2,786 changed files with 625,067 additions and 0 deletions.
5 changes: 5 additions & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Block.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Rule-BBody.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Rule-Bupi.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Rule-Chain.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Rule-Epoch.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Rule-Pbft.html

Large diffs are not rendered by default.

11 changes: 11 additions & 0 deletions byron-spec-chain/Byron-Spec-Chain-STS-Rule-SigCnt.html

Large diffs are not rendered by default.

Binary file added byron-spec-chain/byron-spec-chain.haddock
Binary file not shown.
1 change: 1 addition & 0 deletions byron-spec-chain/doc-index.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/doc-index.json

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions byron-spec-chain/haddock-bundle.min.js

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions byron-spec-chain/index.html
@@ -0,0 +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>byron-spec-chain-1.0.0.0: Executable specification of the Cardano blockchain</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">byron-spec-chain-1.0.0.0: Executable specification of the Cardano blockchain</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="description"><h1>byron-spec-chain-1.0.0.0: Executable specification of the Cardano blockchain</h1><div class="doc"><p>Executable specification of the Cardano blockchain</p></div></div><div id="module-list"><p class="caption">Modules</p><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1">Byron</span><details id="n.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1">Spec</span><details id="n.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1">Chain</span><details id="n.1.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1.1">STS</span><details id="n.1.1.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Block.html">Byron.Spec.Chain.STS.Block</a></span></li><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1.1.2">Rule</span><details id="n.1.1.1.1.2" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Rule-BBody.html">Byron.Spec.Chain.STS.Rule.BBody</a></span></li><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Rule-Bupi.html">Byron.Spec.Chain.STS.Rule.Bupi</a></span></li><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Rule-Chain.html">Byron.Spec.Chain.STS.Rule.Chain</a></span></li><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Rule-Epoch.html">Byron.Spec.Chain.STS.Rule.Epoch</a></span></li><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Rule-Pbft.html">Byron.Spec.Chain.STS.Rule.Pbft</a></span></li><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Byron-Spec-Chain-STS-Rule-SigCnt.html">Byron.Spec.Chain.STS.Rule.SigCnt</a></span></li></ul></details></li></ul></details></li></ul></details></li></ul></details></li></ul></details></li></ul></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>

0 comments on commit 36c336c

Please sign in to comment.