Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: New version of VT-CC-01 #6320

Merged
merged 1 commit into from
Jul 22, 2024

feat: New version of VT-CC-01

f0ac3c2
Select commit
Loading
Failed to load commit list.
Merged

feat: New version of VT-CC-01 #6320

feat: New version of VT-CC-01
f0ac3c2
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-darwin.plutus-metatheory-site succeeded Jul 22, 2024 in 1m 1s

Build succeeded

1 failed steps

Details

Failed Steps

Step 1

Derivation

/nix/store/4vjwzshxci2695vvrlhwlz6yghndgihp-plutus-metatheory-doc.drv

Log

unpacking sources
unpacking source archive /nix/store/27kpiisf5i5yyy41yf5nk9yxg6pism76-source
source root is source
patching sources
configuring
no configure script, doing nothing
building
Checking index (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/index.lagda.md).
 Checking Type (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type.lagda.md).
  Checking Utils (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Utils.lagda.md).
  Checking Builtin.Constant.Type (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Builtin/Constant/Type.lagda.md).
   Checking Builtin.Constant.AtomicType (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Builtin/Constant/AtomicType.lagda.md).
    Checking Utils.Reflection (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Utils/Reflection.lagda.md).
 Checking Type.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/RenamingSubstitution.lagda.md).
 Checking Type.Equality (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/Equality.lagda.md).
 Checking Type.BetaNormal (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNormal.lagda.md).
 Checking Type.BetaNBE (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNBE.lagda.md).
 Checking Type.BetaNBE.Soundness (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNBE/Soundness.lagda.md).
 Checking Type.BetaNBE.Completeness (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNBE/Completeness.lagda.md).
  Checking Type.BetaNormal.Equality (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNormal/Equality.lagda.md).
 Checking Type.BetaNBE.Stability (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNBE/Stability.lagda.md).
 Checking Type.BetaNBE.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Type/BetaNBE/RenamingSubstitution.lagda.md).
 Checking Builtin (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Builtin.lagda.md).
  Checking Builtin.Signature (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Builtin/Signature.lagda.md).
 Checking Declarative (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative.lagda.md).
  Checking Utils.List (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Utils/List.lagda.md).
  Checking Algorithmic (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic.lagda.md).
   Checking Algorithmic.Signature (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Signature.lagda.md).
  Checking RawU (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/RawU.lagda.md).
   Checking Utils.Decidable (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Utils/Decidable.lagda.md).
 Checking Declarative.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative/RenamingSubstitution.lagda.md).
 Checking Declarative.Erasure (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative/Erasure.lagda.md).
  Checking Untyped (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Untyped.lagda.md).
   Checking Scoped (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Scoped.lagda.md).
    Checking Raw (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Raw.lagda.md).
  Checking Untyped.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Untyped/RenamingSubstitution.lagda.md).
 Checking Declarative.Examples (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative/Examples.lagda.md).
  Checking Declarative.Examples.StdLib.Function (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative/Examples/StdLib/Function.lagda.md).
  Checking Declarative.Examples.StdLib.ChurchNat (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative/Examples/StdLib/ChurchNat.lagda.md).
  Checking Declarative.Examples.StdLib.Nat (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Declarative/Examples/StdLib/Nat.lagda.md).
 Checking Algorithmic.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/RenamingSubstitution.lagda.md).
 Checking Algorithmic.Reduction (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Reduction.lagda.md).
  Checking Algorithmic.ReductionEC (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/ReductionEC.lagda.md).
   Checking Algorithmic.Properties (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Properties.lagda.md).
   Checking Algorithmic.CEK (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/CEK.lagda.md).
  Checking Algorithmic.ReductionEC.Progress (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/ReductionEC/Progress.lagda.md).
  Checking Algorithmic.ReductionEC.Determinism (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/ReductionEC/Determinism.lagda.md).
 Checking Algorithmic.Evaluation (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Evaluation.lagda.md).
 Checking Algorithmic.Completeness (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Completeness.lagda.md).
 Checking Algorithmic.Soundness (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Soundness.lagda.md).
 Checking Algorithmic.Erasure (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Erasure.lagda.md).
 Checking Algorithmic.Erasure.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Erasure/RenamingSubstitution.lagda.md).
 Checking Algorithmic.CC (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/CC.lagda.md).
 Checking Algorithmic.CK (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/CK.lagda.md).
 Checking Algorithmic.Examples (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Algorithmic/Examples.lagda.md).
 Checking Scoped.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Scoped/RenamingSubstitution.lagda.md).
 Checking Scoped.Extrication (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Scoped/Extrication.lagda.md).
 Checking Scoped.Extrication.RenamingSubstitution (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Scoped/Extrication/RenamingSubstitution.lagda.md).
 Checking Untyped.CEK (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Untyped/CEK.lagda.md).
 Checking Check (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Check.lagda.md).
 Checking Main (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Main.lagda.md).
  Checking Untyped.CEKWithCost (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Untyped/CEKWithCost.lagda.md).
   Checking Cost.Base (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Cost/Base.lagda.md).
  Checking Cost (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Cost.lagda.md).
   Checking Cost.Size (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Cost/Size.lagda.md).
   Checking Cost.Model (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Cost/Model.lagda.md).
    Checking Cost.Raw (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Cost/Raw.lagda.md).
  Checking Evaluator.Base (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Evaluator/Base.lagda.md).
  Checking Evaluator.Program (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Evaluator/Program.lagda.md).
  Checking Evaluator.Term (/private/tmp/nix-build-plutus-metatheory-doc.drv-0/source/src/Evaluator/Term.lagda.md).
Warning: HTML is currently generated for ALL files which can be
reached from the given module, including library files.

Generating HTML for Agda.Primitive (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Primitive.html).
Generating HTML for Agda.Builtin.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Equality.html).
Generating HTML for Agda.Builtin.Bool (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Bool.html).
Generating HTML for Data.Empty (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Empty.html).
Generating HTML for Data.Empty.Irrelevant (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Empty.Irrelevant.html).
Generating HTML for Level (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Level.html).
Generating HTML for Relation.Nullary (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.html).
Generating HTML for Agda.Builtin.Unit (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Unit.html).
Generating HTML for Data.Unit.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.Base.html).
Generating HTML for Data.Bool.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Bool.Base.html).
Generating HTML for Relation.Nullary.Reflects (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Reflects.html).
Generating HTML for Agda.Builtin.Strict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Strict.html).
Generating HTML for Strict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Strict.html).
Generating HTML for Function.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Base.html).
Generating HTML for Data.Sum.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.Base.html).
Generating HTML for Data.These.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.These.Base.html).
Generating HTML for Agda.Builtin.Maybe (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Maybe.html).
Generating HTML for Agda.Builtin.Sigma (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Sigma.html).
Generating HTML for Data.Product (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.html).
Generating HTML for Data.Maybe.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Maybe.Base.html).
Generating HTML for Relation.Binary.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Core.html).
Generating HTML for Relation.Binary.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Definitions.html).
Generating HTML for Relation.Binary.PropositionalEquality.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.PropositionalEquality.Core.html).
Generating HTML for Relation.Nullary.Decidable.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Decidable.Core.html).
Generating HTML for Relation.Unary (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Unary.html).
Generating HTML for Relation.Binary.Consequences (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Consequences.html).
Generating HTML for Relation.Binary.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Structures.html).
Generating HTML for Relation.Binary.Bundles (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Bundles.html).
Generating HTML for Relation.Binary (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.Core.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.Definitions.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.Structures.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous.Bundles (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.Bundles.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.html).
Generating HTML for Algebra.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Core.html).
Generating HTML for Algebra.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Definitions.html).
Generating HTML for Relation.Binary.Reasoning.Base.Single (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Reasoning.Base.Single.html).
Generating HTML for Relation.Binary.Reasoning.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Reasoning.Setoid.html).
Generating HTML for Algebra.Consequences.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Consequences.Base.html).
Generating HTML for Algebra.Consequences.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Consequences.Setoid.html).
Generating HTML for Algebra.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Structures.html).
Generating HTML for Algebra.Bundles (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Bundles.html).
Generating HTML for Algebra (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.html).
Generating HTML for Relation.Binary.PropositionalEquality.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.PropositionalEquality.Properties.html).
Generating HTML for Relation.Binary.PropositionalEquality.Algebra (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.PropositionalEquality.Algebra.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html).
Generating HTML for Function.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Equality.html).
Generating HTML for Axiom.UniquenessOfIdentityProofs (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Axiom.UniquenessOfIdentityProofs.html).
Generating HTML for Axiom.Extensionality.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Axiom.Extensionality.Propositional.html).
Generating HTML for Relation.Binary.PropositionalEquality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.PropositionalEquality.html).
Generating HTML for Agda.Builtin.Nat (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Nat.html).
Generating HTML for Relation.Nullary.Negation.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Negation.Core.html).
Generating HTML for Data.Nat.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Base.html).
Generating HTML for Data.Nat.Properties.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Properties.Core.html).
Generating HTML for Data.Fin.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Fin.Base.html).
Generating HTML for Agda.Builtin.List (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.List.html).
Generating HTML for Relation.Nullary.Product (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Product.html).
Generating HTML for Relation.Nullary.Sum (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Sum.html).
Generating HTML for Relation.Unary.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Unary.Properties.html).
Generating HTML for Data.List.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Base.html).
Generating HTML for Data.List (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.html).
Generating HTML for Data.Unit.Polymorphic.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.Polymorphic.Base.html).
Generating HTML for Data.Sum (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.html).
Generating HTML for Function.Definitions.Core1 (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Definitions.Core1.html).
Generating HTML for Function.Definitions.Core2 (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Definitions.Core2.html).
Generating HTML for Function.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Definitions.html).
Generating HTML for Function.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Structures.html).
Generating HTML for Function.Bundles (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Bundles.html).
Generating HTML for Function.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Core.html).
Generating HTML for Function (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.html).
Generating HTML for Relation.Binary.Properties.Preorder (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Properties.Preorder.html).
Generating HTML for Function.Equivalence (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Equivalence.html).
Generating HTML for Function.Injection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Injection.html).
Generating HTML for Relation.Nullary.Decidable (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Decidable.html).
Generating HTML for Data.Unit.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.Properties.html).
Generating HTML for Data.Unit (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.html).
Generating HTML for Category.Functor (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Category.Functor.html).
Generating HTML for Category.Applicative.Indexed (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Category.Applicative.Indexed.html).
Generating HTML for Category.Monad.Indexed (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Category.Monad.Indexed.html).
Generating HTML for Category.Monad (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Category.Monad.html).
Generating HTML for Relation.Nullary.Negation (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Negation.html).
Generating HTML for Relation.Binary.Construct.NonStrictToStrict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.NonStrictToStrict.html).
Generating HTML for Relation.Binary.Properties.Poset (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Properties.Poset.html).
Generating HTML for Relation.Binary.Construct.Converse (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Converse.html).
Generating HTML for Relation.Binary.Properties.TotalOrder (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Properties.TotalOrder.html).
Generating HTML for Algebra.Construct.NaturalChoice.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.NaturalChoice.Base.html).
Generating HTML for Algebra.Consequences.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Consequences.Propositional.html).
Generating HTML for Relation.Binary.Reasoning.Base.Triple (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Reasoning.Base.Triple.html).
Generating HTML for Algebra.Properties.Group (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Group.html).
Generating HTML for Relation.Binary.Morphism.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Morphism.Definitions.html).
Generating HTML for Relation.Binary.Morphism.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Morphism.Structures.html).
Generating HTML for Algebra.Morphism.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Morphism.Definitions.html).
Generating HTML for Algebra.Morphism.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Morphism.Structures.html).
Generating HTML for Algebra.Morphism (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Morphism.html).
Generating HTML for Algebra.Properties.Semigroup (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Semigroup.html).
Generating HTML for Algebra.Properties.CommutativeSemigroup (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.CommutativeSemigroup.html).
Generating HTML for Function.Metric.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Core.html).
Generating HTML for Function.Metric.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Definitions.html).
Generating HTML for Function.Metric.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Structures.html).
Generating HTML for Function.Metric.Bundles (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Bundles.html).
Generating HTML for Function.Metric.Nat.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Nat.Core.html).
Generating HTML for Function.Metric.Nat.Definitions (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Nat.Definitions.html).
Generating HTML for Function.Metric.Nat.Structures (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Nat.Structures.html).
Generating HTML for Function.Metric.Nat.Bundles (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Nat.Bundles.html).
Generating HTML for Function.Metric.Nat (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Metric.Nat.html).
Generating HTML for Relation.Binary.Lattice (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Lattice.html).
Generating HTML for Relation.Binary.Construct.NaturalOrder.Left (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.NaturalOrder.Left.html).
Generating HTML for Algebra.Properties.Semilattice (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Semilattice.html).
Generating HTML for Algebra.Properties.Lattice (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Lattice.html).
Generating HTML for Algebra.Properties.DistributiveLattice (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.DistributiveLattice.html).
Generating HTML for Algebra.Properties.BooleanAlgebra (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.BooleanAlgebra.html).
Generating HTML for Data.Bool.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Bool.Properties.html).
Generating HTML for Relation.Binary.Reasoning.Base.Double (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Reasoning.Base.Double.html).
Generating HTML for Relation.Binary.Reasoning.Preorder (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Reasoning.Preorder.html).
Generating HTML for Algebra.Construct.NaturalChoice.MinOp (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.NaturalChoice.MinOp.html).
Generating HTML for Algebra.Construct.NaturalChoice.MaxOp (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.NaturalChoice.MaxOp.html).
Generating HTML for Algebra.Construct.NaturalChoice.MinMaxOp (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.NaturalChoice.MinMaxOp.html).
Generating HTML for Data.Nat.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Properties.html).
Generating HTML for Data.Sum.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.Properties.html).
Generating HTML for Category.Applicative (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Category.Applicative.html).
Generating HTML for Data.Fin.Patterns (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Fin.Patterns.html).
Generating HTML for Data.Fin.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Fin.Properties.html).
Generating HTML for Data.Fin (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Fin.html).
Generating HTML for Data.List.Relation.Unary.Any (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.Any.html).
Generating HTML for Data.List.Membership.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.Setoid.html).
Generating HTML for Data.List.Membership.DecSetoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.DecSetoid.html).
Generating HTML for Data.List.Membership.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.Propositional.html).
Generating HTML for Data.List.Membership.DecPropositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.DecPropositional.html).
Generating HTML for Induction (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Induction.html).
Generating HTML for Induction.WellFounded (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Induction.WellFounded.html).
Generating HTML for Relation.Binary.Construct.On (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.On.html).
Generating HTML for Data.Product.Relation.Unary.All (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Relation.Unary.All.html).
Generating HTML for Data.List.Relation.Unary.All (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.All.html).
Generating HTML for Data.List.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Properties.html).
Generating HTML for Data.List.Relation.Binary.Pointwise.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Pointwise.Base.html).
Generating HTML for Data.List.Relation.Binary.Lex.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Lex.Core.html).
Generating HTML for Data.List.Relation.Binary.Lex (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Lex.html).
Generating HTML for Data.List.Relation.Binary.Pointwise.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Pointwise.Properties.html).
Generating HTML for Function.LeftInverse (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.LeftInverse.html).
Generating HTML for Function.Surjection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Surjection.html).
Generating HTML for Function.Bijection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Bijection.html).
Generating HTML for Function.Inverse (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Inverse.html).
Generating HTML for Data.List.Relation.Unary.AllPairs.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.AllPairs.Core.html).
Generating HTML for Relation.Binary.Construct.Intersection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Intersection.html).
Generating HTML for Data.List.Relation.Unary.AllPairs (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.AllPairs.html).
Generating HTML for Data.List.Relation.Binary.Pointwise (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Pointwise.html).
Generating HTML for Data.List.Relation.Binary.Lex.Strict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Lex.Strict.html).
Generating HTML for Agda.Builtin.Char (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Char.html).
Generating HTML for Agda.Builtin.String (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.String.html).
Generating HTML for Agda.Builtin.String.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.String.Properties.html).
Generating HTML for Relation.Binary.Construct.Constant.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Constant.Core.html).
Generating HTML for Relation.Binary.Construct.Closure.Reflexive (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Closure.Reflexive.html).
Generating HTML for Data.Char.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Char.Base.html).
Generating HTML for Data.Vec.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Vec.Base.html).
Generating HTML for Data.List.NonEmpty.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.NonEmpty.Base.html).
Generating HTML for Data.String.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.String.Base.html).
Generating HTML for Relation.Binary.Construct.Subst.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Subst.Equality.html).
Generating HTML for Relation.Binary.Construct.Closure.Reflexive.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Closure.Reflexive.Properties.html).
Generating HTML for Agda.Builtin.Char.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Char.Properties.html).
Generating HTML for Data.Char.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Char.Properties.html).
Generating HTML for Data.String.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.String.Properties.html).
Generating HTML for Data.Bool (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Bool.html).
Generating HTML for Data.List.NonEmpty (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.NonEmpty.html).
Generating HTML for Data.List.Relation.Binary.Subset.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Subset.Setoid.html).
Generating HTML for Data.List.Relation.Binary.Subset.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Subset.Propositional.html).
Generating HTML for Algebra.Construct.LiftedChoice (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.LiftedChoice.html).
Generating HTML for Algebra.Construct.NaturalChoice.Min (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.NaturalChoice.Min.html).
Generating HTML for Algebra.Construct.NaturalChoice.Max (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Construct.NaturalChoice.Max.html).
Generating HTML for Data.List.Extrema.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Extrema.Core.html).
Generating HTML for Function.Related (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Related.html).
Generating HTML for Data.Product.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Properties.html).
Generating HTML for Data.Product.Relation.Binary.Pointwise.NonDependent (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Relation.Binary.Pointwise.NonDependent.html).
Generating HTML for Data.Product.Function.NonDependent.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Function.NonDependent.Setoid.html).
Generating HTML for Function.HalfAdjointEquivalence (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.HalfAdjointEquivalence.html).
Generating HTML for Relation.Nullary.Indexed (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Indexed.html).
Generating HTML for Algebra.Structures.Biased (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Structures.Biased.html).
Generating HTML for Data.Unit.Polymorphic.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.Polymorphic.Properties.html).
Generating HTML for Data.Unit.Polymorphic (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.Polymorphic.html).
Generating HTML for Data.Product.Function.NonDependent.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Function.NonDependent.Propositional.html).
Generating HTML for Data.Empty.Polymorphic (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Empty.Polymorphic.html).
Generating HTML for Data.Sum.Relation.Binary.Pointwise (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.Relation.Binary.Pointwise.html).
Generating HTML for Data.Sum.Function.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.Function.Setoid.html).
Generating HTML for Data.Sum.Function.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.Function.Propositional.html).
Generating HTML for Function.Related.TypeIsomorphisms (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Related.TypeIsomorphisms.html).
Generating HTML for Data.Product.Function.Dependent.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Function.Dependent.Propositional.html).
Generating HTML for Data.List.Categorical (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Categorical.html).
Generating HTML for Data.List.Relation.Unary.Unique.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.Unique.Setoid.html).
Generating HTML for Relation.Binary.Properties.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Properties.Setoid.html).
Generating HTML for Data.List.Relation.Binary.Equality.Setoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Equality.Setoid.html).
Generating HTML for Data.Nat (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.html).
Generating HTML for Data.Maybe.Relation.Unary.Any (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Maybe.Relation.Unary.Any.html).
Generating HTML for Data.List.Membership.Propositional.Properties.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.Propositional.Properties.Core.html).
Generating HTML for Data.List.Relation.Unary.Any.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.Any.Properties.html).
Generating HTML for Data.List.Membership.Setoid.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.Setoid.Properties.html).
Generating HTML for Relation.Binary.Properties.DecTotalOrder (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Properties.DecTotalOrder.html).
Generating HTML for Data.List.Relation.Binary.Equality.Propositional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Binary.Equality.Propositional.html).
Generating HTML for Data.List.Membership.Propositional.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Membership.Propositional.Properties.html).
Generating HTML for Data.List.Extrema (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Extrema.html).
Generating HTML for Data.Char (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Char.html).
Generating HTML for Data.String (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.String.html).
Generating HTML for Algebra.Properties.AbelianGroup (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.AbelianGroup.html).
Generating HTML for Agda.Builtin.Int (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Int.html).
Generating HTML for Data.Sign.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sign.Base.html).
Generating HTML for Data.Sign.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sign.Properties.html).
Generating HTML for Data.Sign (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sign.html).
Generating HTML for Data.Integer.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Integer.Base.html).
Generating HTML for Algebra.Properties.Ring (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Ring.html).
Generating HTML for Algebra.Solver.Ring.AlmostCommutativeRing (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Solver.Ring.AlmostCommutativeRing.html).
Generating HTML for Algebra.Definitions.RawMagma (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Definitions.RawMagma.html).
Generating HTML for Data.Vec.Functional (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Vec.Functional.html).
Generating HTML for Algebra.Definitions.RawMonoid (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Definitions.RawMonoid.html).
Generating HTML for Algebra.Properties.Monoid.Mult (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Monoid.Mult.html).
Generating HTML for Algebra.Definitions.RawSemiring (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Definitions.RawSemiring.html).
Generating HTML for Algebra.Properties.Semiring.Exp (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Properties.Semiring.Exp.html).
Generating HTML for Data.Vec.N-ary (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Vec.N-ary.html).
Generating HTML for Relation.Binary.Reflection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Reflection.html).
Generating HTML for Algebra.Solver.Ring.Lemmas (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Solver.Ring.Lemmas.html).
Generating HTML for Algebra.Solver.Ring (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Solver.Ring.html).
Generating HTML for Algebra.Solver.Ring.Simple (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algebra.Solver.Ring.Simple.html).
Generating HTML for Data.Nat.Solver (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Solver.html).
Generating HTML for Data.Integer.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Integer.Properties.html).
Generating HTML for Category.Comonad (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Category.Comonad.html).
Generating HTML for Function.Identity.Categorical (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Identity.Categorical.html).
Generating HTML for Data.Maybe.Categorical (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Maybe.Categorical.html).
Generating HTML for Data.Nat.DivMod.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.DivMod.Core.html).
Generating HTML for Data.Nat.Induction (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Induction.html).
Generating HTML for Data.Nat.Divisibility.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Divisibility.Core.html).
Generating HTML for Data.Nat.DivMod (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.DivMod.html).
Generating HTML for Data.Digit (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Digit.html).
Generating HTML for Data.Nat.Show (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Nat.Show.html).
Generating HTML for Data.Integer (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Integer.html).
Generating HTML for Data.Maybe.Relation.Unary.All (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Maybe.Relation.Unary.All.html).
Generating HTML for Data.Maybe (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Maybe.html).
Generating HTML for Utils (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Utils.md).
Generating HTML for Data.List.Relation.Unary.All.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.List.Relation.Unary.All.Properties.html).
Generating HTML for Data.Vec.Bounded.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Vec.Bounded.Base.html).
Generating HTML for Data.Vec (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Vec.html).
Generating HTML for Agda.Builtin.Word (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Word.html).
Generating HTML for Agda.Builtin.Float (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Float.html).
Generating HTML for Agda.Builtin.Reflection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Reflection.html).
Generating HTML for Reflection.Abstraction (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Abstraction.html).
Generating HTML for Agda.Builtin.Reflection.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Reflection.Properties.html).
Generating HTML for Reflection.Meta (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Meta.html).
Generating HTML for Reflection.Argument.Relevance (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Argument.Relevance.html).
Generating HTML for Reflection.Argument.Quantity (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Argument.Quantity.html).
Generating HTML for Reflection.Argument.Modality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Argument.Modality.html).
Generating HTML for Reflection.Argument.Visibility (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Argument.Visibility.html).
Generating HTML for Reflection.Argument.Information (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Argument.Information.html).
Generating HTML for Reflection.Argument (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Argument.html).
Generating HTML for Agda.Builtin.Word.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Word.Properties.html).
Generating HTML for Data.Word.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Word.Base.html).
Generating HTML for Data.Word.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Word.Properties.html).
Generating HTML for Reflection.Name (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Name.html).
Generating HTML for Agda.Builtin.Float.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.Float.Properties.html).
Generating HTML for Data.Float.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Float.Base.html).
Generating HTML for Data.Maybe.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Maybe.Properties.html).
Generating HTML for Data.Float.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Float.Properties.html).
Generating HTML for Data.Float (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Float.html).
Generating HTML for Data.Word (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Word.html).
Generating HTML for Reflection.Literal (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Literal.html).
Generating HTML for Reflection.Term (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Term.html).
Generating HTML for Reflection.Definition (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Definition.html).
Generating HTML for Reflection.Pattern (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Pattern.html).
Generating HTML for Reflection.Show (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.Show.html).
Generating HTML for Reflection.TypeChecking.Monad.Syntax (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.TypeChecking.Monad.Syntax.html).
Generating HTML for Data.Sum.Categorical.Left (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Sum.Categorical.Left.html).
Generating HTML for Function.Nary.NonDependent.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Nary.NonDependent.Base.html).
Generating HTML for Data.Product.Nary.NonDependent (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Product.Nary.NonDependent.html).
Generating HTML for Function.Nary.NonDependent (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Function.Nary.NonDependent.html).
Generating HTML for Text.Format.Generic (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Text.Format.Generic.html).
Generating HTML for Text.Format (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Text.Format.html).
Generating HTML for Text.Printf.Generic (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Text.Printf.Generic.html).
Generating HTML for Data.Integer.Show (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Integer.Show.html).
Generating HTML for Text.Printf (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Text.Printf.html).
Generating HTML for Reflection.TypeChecking.Format (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.TypeChecking.Format.html).
Generating HTML for Reflection.TypeChecking.Monad (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.TypeChecking.Monad.html).
Generating HTML for Reflection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Reflection.html).
Generating HTML for Utils.Reflection (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Utils.Reflection.md).
Generating HTML for Builtin.Constant.AtomicType (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Builtin.Constant.AtomicType.md).
Generating HTML for Builtin.Constant.Type (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Builtin.Constant.Type.md).
Generating HTML for Type (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.md).
Generating HTML for Type.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.RenamingSubstitution.md).
Generating HTML for Type.BetaNormal (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNormal.md).
Generating HTML for Type.BetaNBE (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNBE.md).
Generating HTML for Type.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.Equality.md).
Generating HTML for Type.BetaNormal.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNormal.Equality.md).
Generating HTML for Type.BetaNBE.Completeness (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNBE.Completeness.md).
Generating HTML for Type.BetaNBE.Stability (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNBE.Stability.md).
Generating HTML for Utils.Decidable (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Utils.Decidable.md).
Generating HTML for Builtin.Signature (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Builtin.Signature.md).
Generating HTML for Builtin (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Builtin.md).
Generating HTML for Type.BetaNBE.Soundness (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNBE.Soundness.md).
Generating HTML for Type.BetaNBE.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Type.BetaNBE.RenamingSubstitution.md).
Generating HTML for Algorithmic.Signature (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Signature.md).
Generating HTML for Utils.List (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Utils.List.md).
Generating HTML for Algorithmic (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.md).
Generating HTML for RawU (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/RawU.md).
Generating HTML for Declarative (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.md).
Generating HTML for Raw (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Raw.md).
Generating HTML for Scoped (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Scoped.md).
Generating HTML for Untyped (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Untyped.md).
Generating HTML for Algorithmic.Completeness (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Completeness.md).
Generating HTML for Algorithmic.Soundness (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Soundness.md).
Generating HTML for Declarative.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.RenamingSubstitution.md).
Generating HTML for Untyped.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Untyped.RenamingSubstitution.md).
Generating HTML for Declarative.Erasure (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.Erasure.md).
Generating HTML for Algorithmic.Erasure (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Erasure.md).
Generating HTML for Declarative.Examples.StdLib.ChurchNat (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.Examples.StdLib.ChurchNat.md).
Generating HTML for Algorithmic.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.RenamingSubstitution.md).
Generating HTML for Relation.Binary.HeterogeneousEquality.Core (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.HeterogeneousEquality.Core.html).
Generating HTML for Axiom.Extensionality.Heterogeneous (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Axiom.Extensionality.Heterogeneous.html).
Generating HTML for Data.Unit.NonEta (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Unit.NonEta.html).
Generating HTML for Relation.Binary.Indexed.Heterogeneous.Construct.At (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Indexed.Heterogeneous.Construct.At.html).
Generating HTML for Relation.Binary.HeterogeneousEquality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.HeterogeneousEquality.html).
Generating HTML for Algorithmic.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Properties.md).
Generating HTML for Algorithmic.CEK (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.CEK.md).
Generating HTML for Algorithmic.ReductionEC (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.ReductionEC.md).
Generating HTML for Algorithmic.CC (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.CC.md).
Generating HTML for Untyped.CEK (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Untyped.CEK.md).
Generating HTML for Cost.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Cost.Base.md).
Generating HTML for Cost.Size (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Cost.Size.md).
Generating HTML for Data.DifferenceList (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.DifferenceList.html).
Generating HTML for Data.Tree.AVL.Height (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Tree.AVL.Height.html).
Generating HTML for Data.Tree.AVL.Value (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Tree.AVL.Value.html).
Generating HTML for Relation.Nullary.Construct.Add.Point (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Construct.Add.Point.html).
Generating HTML for Relation.Binary.Construct.Add.Point.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Point.Equality.html).
Generating HTML for Relation.Binary.Construct.Add.Supremum.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Supremum.Equality.html).
Generating HTML for Relation.Nullary.Construct.Add.Supremum (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Construct.Add.Supremum.html).
Generating HTML for Relation.Binary.Construct.Add.Supremum.NonStrict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Supremum.NonStrict.html).
Generating HTML for Relation.Binary.Construct.Add.Supremum.Strict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Supremum.Strict.html).
Generating HTML for Relation.Binary.Construct.Add.Infimum.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Infimum.Equality.html).
Generating HTML for Relation.Nullary.Construct.Add.Infimum (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Construct.Add.Infimum.html).
Generating HTML for Relation.Binary.Construct.Add.Infimum.NonStrict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Infimum.NonStrict.html).
Generating HTML for Relation.Binary.Construct.Add.Infimum.Strict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Infimum.Strict.html).
Generating HTML for Relation.Nullary.Construct.Add.Extrema (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Nullary.Construct.Add.Extrema.html).
Generating HTML for Relation.Binary.Construct.Add.Extrema.Equality (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Extrema.Equality.html).
Generating HTML for Relation.Binary.Construct.Add.Extrema.NonStrict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Extrema.NonStrict.html).
Generating HTML for Relation.Binary.Construct.Add.Extrema.Strict (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Relation.Binary.Construct.Add.Extrema.Strict.html).
Generating HTML for Data.Tree.AVL.Key (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Tree.AVL.Key.html).
Generating HTML for Data.Tree.AVL.Indexed (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Tree.AVL.Indexed.html).
Generating HTML for Data.Tree.AVL (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Tree.AVL.html).
Generating HTML for Data.Tree.AVL.Map (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Tree.AVL.Map.html).
Generating HTML for Cost.Raw (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Cost.Raw.md).
Generating HTML for Cost.Model (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Cost.Model.md).
Generating HTML for Cost (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Cost.md).
Generating HTML for Data.Vec.Properties (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Data.Vec.Properties.html).
Generating HTML for Check (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Check.md).
Generating HTML for Scoped.Extrication (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Scoped.Extrication.md).
Generating HTML for Evaluator.Base (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Evaluator.Base.md).
Generating HTML for Agda.Builtin.IO (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Agda.Builtin.IO.html).
Generating HTML for IO.Primitive (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/IO.Primitive.html).
Generating HTML for Untyped.CEKWithCost (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Untyped.CEKWithCost.md).
Generating HTML for Algorithmic.CK (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.CK.md).
Generating HTML for Algorithmic.ReductionEC.Progress (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.ReductionEC.Progress.md).
Generating HTML for Algorithmic.Evaluation (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Evaluation.md).
Generating HTML for Evaluator.Term (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Evaluator.Term.md).
Generating HTML for Evaluator.Program (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Evaluator.Program.md).
Generating HTML for Main (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Main.md).
Generating HTML for Algorithmic.Examples (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Examples.md).
Generating HTML for Scoped.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Scoped.RenamingSubstitution.md).
Generating HTML for Scoped.Extrication.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Scoped.Extrication.RenamingSubstitution.md).
Generating HTML for Declarative.Examples.StdLib.Function (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.Examples.StdLib.Function.md).
Generating HTML for Declarative.Examples.StdLib.Nat (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.Examples.StdLib.Nat.md).
Generating HTML for Declarative.Examples (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Declarative.Examples.md).
Generating HTML for Algorithmic.ReductionEC.Determinism (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.ReductionEC.Determinism.md).
Generating HTML for Algorithmic.Reduction (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Reduction.md).
Generating HTML for Algorithmic.Erasure.RenamingSubstitution (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/Algorithmic.Erasure.RenamingSubstitution.md).
Generating HTML for index (/nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc/index.md).
buildPhase completed in 5 minutes 30 seconds
post-installation fixup
checking for references to /private/tmp/nix-build-plutus-metatheory-doc.drv-0/ in /nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc...
patching script interpreter paths in /nix/store/qxman28djd7syy3a2pr3g6gbiwbk5pgw-plutus-metatheory-doc
View more details on IOG Hydra