From 191a77f781c5aa4c4156d680d8a3931b5f03b6ea Mon Sep 17 00:00:00 2001 From: Artem Shinkarov Date: Mon, 7 Aug 2023 15:45:13 +0100 Subject: [PATCH] Rename directoru of the 2023-types talk. --- .../{_build => build}/Agda.Builtin.Bool.html | 0 .../{_build => build}/Agda.Builtin.Equality.html | 0 .../{_build => build}/Agda.Builtin.List.html | 0 .../{_build => build}/Agda.Builtin.Maybe.html | 0 .../{_build => build}/Agda.Builtin.Nat.html | 0 .../{_build => build}/Agda.Builtin.Sigma.html | 0 .../{_build => build}/Agda.Builtin.Strict.html | 0 .../{_build => build}/Agda.Builtin.Unit.html | 0 .../{_build => build}/Agda.Primitive.html | 0 talks/2023-types/{_build => build}/Agda.css | 0 .../{_build => build}/Algebra.Bundles.html | 0 .../Algebra.Consequences.Base.html | 0 .../Algebra.Consequences.Propositional.html | 0 .../Algebra.Consequences.Setoid.html | 0 .../Algebra.Construct.NaturalChoice.Base.html | 0 .../Algebra.Construct.NaturalChoice.MaxOp.html | 0 .../Algebra.Construct.NaturalChoice.MinMaxOp.html | 0 .../Algebra.Construct.NaturalChoice.MinOp.html | 0 .../2023-types/{_build => build}/Algebra.Core.html | 0 .../{_build => build}/Algebra.Definitions.html | 0 .../Algebra.Morphism.Definitions.html | 0 .../Algebra.Morphism.Structures.html | 0 .../{_build => build}/Algebra.Morphism.html | 0 .../Algebra.Properties.BooleanAlgebra.html | 0 .../Algebra.Properties.CommutativeSemigroup.html | 0 .../Algebra.Properties.DistributiveLattice.html | 0 .../{_build => build}/Algebra.Properties.Group.html | 0 .../Algebra.Properties.Lattice.html | 0 .../Algebra.Properties.Semigroup.html | 0 .../Algebra.Properties.Semilattice.html | 0 .../{_build => build}/Algebra.Structures.html | 0 talks/2023-types/{_build => build}/Algebra.html | 0 .../Axiom.Extensionality.Propositional.html | 0 .../Axiom.UniquenessOfIdentityProofs.html | 0 .../Category.Applicative.Indexed.html | 0 .../{_build => build}/Category.Applicative.html | 0 .../{_build => build}/Category.Functor.html | 0 .../{_build => build}/Category.Monad.Indexed.html | 0 .../{_build => build}/Category.Monad.html | 0 .../{_build => build}/Data.Bool.Base.html | 0 .../{_build => build}/Data.Bool.Properties.html | 0 .../{_build => build}/Data.Empty.Irrelevant.html | 0 talks/2023-types/{_build => build}/Data.Empty.html | 0 .../2023-types/{_build => build}/Data.Fin.Base.html | 0 .../{_build => build}/Data.Fin.Patterns.html | 0 .../{_build => build}/Data.Fin.Properties.html | 0 talks/2023-types/{_build => build}/Data.Fin.html | 0 .../{_build => build}/Data.List.Base.html | 0 .../Data.List.Membership.Propositional.html | 0 .../Data.List.Membership.Setoid.html | 0 .../Data.List.Relation.Unary.All.html | 0 .../Data.List.Relation.Unary.Any.html | 0 talks/2023-types/{_build => build}/Data.List.html | 0 .../{_build => build}/Data.Maybe.Base.html | 0 .../2023-types/{_build => build}/Data.Nat.Base.html | 0 .../{_build => build}/Data.Nat.Properties.Core.html | 0 .../{_build => build}/Data.Nat.Properties.html | 0 talks/2023-types/{_build => build}/Data.Nat.html | 0 .../2023-types/{_build => build}/Data.Product.html | 0 .../2023-types/{_build => build}/Data.Sum.Base.html | 0 .../{_build => build}/Data.Sum.Properties.html | 0 .../{_build => build}/Data.These.Base.html | 0 .../{_build => build}/Data.Unit.Base.html | 0 .../{_build => build}/Data.Unit.Properties.html | 0 talks/2023-types/{_build => build}/Data.Unit.html | 0 .../2023-types/{_build => build}/Function.Base.html | 0 .../{_build => build}/Function.Bundles.html | 0 .../2023-types/{_build => build}/Function.Core.html | 0 .../Function.Definitions.Core1.html | 0 .../Function.Definitions.Core2.html | 0 .../{_build => build}/Function.Definitions.html | 0 .../{_build => build}/Function.Equality.html | 0 .../{_build => build}/Function.Equivalence.html | 0 .../{_build => build}/Function.Injection.html | 0 .../{_build => build}/Function.Metric.Bundles.html | 0 .../{_build => build}/Function.Metric.Core.html | 0 .../Function.Metric.Definitions.html | 0 .../Function.Metric.Nat.Bundles.html | 0 .../{_build => build}/Function.Metric.Nat.Core.html | 0 .../Function.Metric.Nat.Definitions.html | 0 .../Function.Metric.Nat.Structures.html | 0 .../{_build => build}/Function.Metric.Nat.html | 0 .../Function.Metric.Structures.html | 0 .../{_build => build}/Function.Structures.html | 0 talks/2023-types/{_build => build}/Function.html | 0 talks/2023-types/{_build => build}/Level.html | 0 .../{_build => build}/Relation.Binary.Bundles.html | 0 .../Relation.Binary.Consequences.html | 0 .../Relation.Binary.Construct.Converse.html | 0 ...Relation.Binary.Construct.NaturalOrder.Left.html | 0 ...Relation.Binary.Construct.NonStrictToStrict.html | 0 .../{_build => build}/Relation.Binary.Core.html | 0 .../Relation.Binary.Definitions.html | 0 ...lation.Binary.Indexed.Heterogeneous.Bundles.html | 0 ...ary.Indexed.Heterogeneous.Construct.Trivial.html | 0 .../Relation.Binary.Indexed.Heterogeneous.Core.html | 0 ...on.Binary.Indexed.Heterogeneous.Definitions.html | 0 ...ion.Binary.Indexed.Heterogeneous.Structures.html | 0 .../Relation.Binary.Indexed.Heterogeneous.html | 0 .../{_build => build}/Relation.Binary.Lattice.html | 0 .../Relation.Binary.Morphism.Definitions.html | 0 .../Relation.Binary.Morphism.Structures.html | 0 .../Relation.Binary.Properties.Poset.html | 0 .../Relation.Binary.Properties.Preorder.html | 0 .../Relation.Binary.Properties.TotalOrder.html | 0 ...lation.Binary.PropositionalEquality.Algebra.html | 0 .../Relation.Binary.PropositionalEquality.Core.html | 0 ...ion.Binary.PropositionalEquality.Properties.html | 0 .../Relation.Binary.PropositionalEquality.html | 0 .../Relation.Binary.Reasoning.Base.Double.html | 0 .../Relation.Binary.Reasoning.Base.Single.html | 0 .../Relation.Binary.Reasoning.Base.Triple.html | 0 .../Relation.Binary.Reasoning.Preorder.html | 0 .../Relation.Binary.Reasoning.Setoid.html | 0 .../Relation.Binary.Structures.html | 0 .../{_build => build}/Relation.Binary.html | 0 .../Relation.Nullary.Decidable.Core.html | 0 .../Relation.Nullary.Decidable.html | 0 .../Relation.Nullary.Negation.Core.html | 0 .../Relation.Nullary.Negation.html | 0 .../{_build => build}/Relation.Nullary.Product.html | 0 .../Relation.Nullary.Reflects.html | 0 .../{_build => build}/Relation.Nullary.Sum.html | 0 .../{_build => build}/Relation.Nullary.html | 0 .../Relation.Unary.Properties.html | 0 .../{_build => build}/Relation.Unary.html | 0 talks/2023-types/{_build => build}/Strict.html | 0 talks/2023-types/{_build => build}/img/cat.gif | Bin talks/2023-types/{_build => build}/my.css | 0 talks/2023-types/{_build => build}/present.html | 0 talks/2023-types/index.html | 2 +- 131 files changed, 1 insertion(+), 1 deletion(-) rename talks/2023-types/{_build => build}/Agda.Builtin.Bool.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.Equality.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.List.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.Maybe.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.Nat.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.Sigma.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.Strict.html (100%) rename talks/2023-types/{_build => build}/Agda.Builtin.Unit.html (100%) rename talks/2023-types/{_build => build}/Agda.Primitive.html (100%) rename talks/2023-types/{_build => build}/Agda.css (100%) rename talks/2023-types/{_build => build}/Algebra.Bundles.html (100%) rename talks/2023-types/{_build => build}/Algebra.Consequences.Base.html (100%) rename talks/2023-types/{_build => build}/Algebra.Consequences.Propositional.html (100%) rename talks/2023-types/{_build => build}/Algebra.Consequences.Setoid.html (100%) rename talks/2023-types/{_build => build}/Algebra.Construct.NaturalChoice.Base.html (100%) rename talks/2023-types/{_build => build}/Algebra.Construct.NaturalChoice.MaxOp.html (100%) rename talks/2023-types/{_build => build}/Algebra.Construct.NaturalChoice.MinMaxOp.html (100%) rename talks/2023-types/{_build => build}/Algebra.Construct.NaturalChoice.MinOp.html (100%) rename talks/2023-types/{_build => build}/Algebra.Core.html (100%) rename talks/2023-types/{_build => build}/Algebra.Definitions.html (100%) rename talks/2023-types/{_build => build}/Algebra.Morphism.Definitions.html (100%) rename talks/2023-types/{_build => build}/Algebra.Morphism.Structures.html (100%) rename talks/2023-types/{_build => build}/Algebra.Morphism.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.BooleanAlgebra.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.CommutativeSemigroup.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.DistributiveLattice.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.Group.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.Lattice.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.Semigroup.html (100%) rename talks/2023-types/{_build => build}/Algebra.Properties.Semilattice.html (100%) rename talks/2023-types/{_build => build}/Algebra.Structures.html (100%) rename talks/2023-types/{_build => build}/Algebra.html (100%) rename talks/2023-types/{_build => build}/Axiom.Extensionality.Propositional.html (100%) rename talks/2023-types/{_build => build}/Axiom.UniquenessOfIdentityProofs.html (100%) rename talks/2023-types/{_build => build}/Category.Applicative.Indexed.html (100%) rename talks/2023-types/{_build => build}/Category.Applicative.html (100%) rename talks/2023-types/{_build => build}/Category.Functor.html (100%) rename talks/2023-types/{_build => build}/Category.Monad.Indexed.html (100%) rename talks/2023-types/{_build => build}/Category.Monad.html (100%) rename talks/2023-types/{_build => build}/Data.Bool.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Bool.Properties.html (100%) rename talks/2023-types/{_build => build}/Data.Empty.Irrelevant.html (100%) rename talks/2023-types/{_build => build}/Data.Empty.html (100%) rename talks/2023-types/{_build => build}/Data.Fin.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Fin.Patterns.html (100%) rename talks/2023-types/{_build => build}/Data.Fin.Properties.html (100%) rename talks/2023-types/{_build => build}/Data.Fin.html (100%) rename talks/2023-types/{_build => build}/Data.List.Base.html (100%) rename talks/2023-types/{_build => build}/Data.List.Membership.Propositional.html (100%) rename talks/2023-types/{_build => build}/Data.List.Membership.Setoid.html (100%) rename talks/2023-types/{_build => build}/Data.List.Relation.Unary.All.html (100%) rename talks/2023-types/{_build => build}/Data.List.Relation.Unary.Any.html (100%) rename talks/2023-types/{_build => build}/Data.List.html (100%) rename talks/2023-types/{_build => build}/Data.Maybe.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Nat.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Nat.Properties.Core.html (100%) rename talks/2023-types/{_build => build}/Data.Nat.Properties.html (100%) rename talks/2023-types/{_build => build}/Data.Nat.html (100%) rename talks/2023-types/{_build => build}/Data.Product.html (100%) rename talks/2023-types/{_build => build}/Data.Sum.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Sum.Properties.html (100%) rename talks/2023-types/{_build => build}/Data.These.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Unit.Base.html (100%) rename talks/2023-types/{_build => build}/Data.Unit.Properties.html (100%) rename talks/2023-types/{_build => build}/Data.Unit.html (100%) rename talks/2023-types/{_build => build}/Function.Base.html (100%) rename talks/2023-types/{_build => build}/Function.Bundles.html (100%) rename talks/2023-types/{_build => build}/Function.Core.html (100%) rename talks/2023-types/{_build => build}/Function.Definitions.Core1.html (100%) rename talks/2023-types/{_build => build}/Function.Definitions.Core2.html (100%) rename talks/2023-types/{_build => build}/Function.Definitions.html (100%) rename talks/2023-types/{_build => build}/Function.Equality.html (100%) rename talks/2023-types/{_build => build}/Function.Equivalence.html (100%) rename talks/2023-types/{_build => build}/Function.Injection.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Bundles.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Core.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Definitions.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Nat.Bundles.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Nat.Core.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Nat.Definitions.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Nat.Structures.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Nat.html (100%) rename talks/2023-types/{_build => build}/Function.Metric.Structures.html (100%) rename talks/2023-types/{_build => build}/Function.Structures.html (100%) rename talks/2023-types/{_build => build}/Function.html (100%) rename talks/2023-types/{_build => build}/Level.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Bundles.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Consequences.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Construct.Converse.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Construct.NaturalOrder.Left.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Construct.NonStrictToStrict.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Core.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Definitions.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Indexed.Heterogeneous.Bundles.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Indexed.Heterogeneous.Core.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Indexed.Heterogeneous.Definitions.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Indexed.Heterogeneous.Structures.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Indexed.Heterogeneous.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Lattice.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Morphism.Definitions.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Morphism.Structures.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Properties.Poset.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Properties.Preorder.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Properties.TotalOrder.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.PropositionalEquality.Algebra.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.PropositionalEquality.Core.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.PropositionalEquality.Properties.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.PropositionalEquality.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Reasoning.Base.Double.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Reasoning.Base.Single.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Reasoning.Base.Triple.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Reasoning.Preorder.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Reasoning.Setoid.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.Structures.html (100%) rename talks/2023-types/{_build => build}/Relation.Binary.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Decidable.Core.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Decidable.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Negation.Core.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Negation.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Product.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Reflects.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.Sum.html (100%) rename talks/2023-types/{_build => build}/Relation.Nullary.html (100%) rename talks/2023-types/{_build => build}/Relation.Unary.Properties.html (100%) rename talks/2023-types/{_build => build}/Relation.Unary.html (100%) rename talks/2023-types/{_build => build}/Strict.html (100%) rename talks/2023-types/{_build => build}/img/cat.gif (100%) rename talks/2023-types/{_build => build}/my.css (100%) rename talks/2023-types/{_build => build}/present.html (100%) diff --git a/talks/2023-types/_build/Agda.Builtin.Bool.html b/talks/2023-types/build/Agda.Builtin.Bool.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Bool.html rename to talks/2023-types/build/Agda.Builtin.Bool.html diff --git a/talks/2023-types/_build/Agda.Builtin.Equality.html b/talks/2023-types/build/Agda.Builtin.Equality.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Equality.html rename to talks/2023-types/build/Agda.Builtin.Equality.html diff --git a/talks/2023-types/_build/Agda.Builtin.List.html b/talks/2023-types/build/Agda.Builtin.List.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.List.html rename to talks/2023-types/build/Agda.Builtin.List.html diff --git a/talks/2023-types/_build/Agda.Builtin.Maybe.html b/talks/2023-types/build/Agda.Builtin.Maybe.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Maybe.html rename to talks/2023-types/build/Agda.Builtin.Maybe.html diff --git a/talks/2023-types/_build/Agda.Builtin.Nat.html b/talks/2023-types/build/Agda.Builtin.Nat.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Nat.html rename to talks/2023-types/build/Agda.Builtin.Nat.html diff --git a/talks/2023-types/_build/Agda.Builtin.Sigma.html b/talks/2023-types/build/Agda.Builtin.Sigma.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Sigma.html rename to talks/2023-types/build/Agda.Builtin.Sigma.html diff --git a/talks/2023-types/_build/Agda.Builtin.Strict.html b/talks/2023-types/build/Agda.Builtin.Strict.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Strict.html rename to talks/2023-types/build/Agda.Builtin.Strict.html diff --git a/talks/2023-types/_build/Agda.Builtin.Unit.html b/talks/2023-types/build/Agda.Builtin.Unit.html similarity index 100% rename from talks/2023-types/_build/Agda.Builtin.Unit.html rename to talks/2023-types/build/Agda.Builtin.Unit.html diff --git a/talks/2023-types/_build/Agda.Primitive.html b/talks/2023-types/build/Agda.Primitive.html similarity index 100% rename from talks/2023-types/_build/Agda.Primitive.html rename to talks/2023-types/build/Agda.Primitive.html diff --git a/talks/2023-types/_build/Agda.css b/talks/2023-types/build/Agda.css similarity index 100% rename from talks/2023-types/_build/Agda.css rename to talks/2023-types/build/Agda.css diff --git a/talks/2023-types/_build/Algebra.Bundles.html b/talks/2023-types/build/Algebra.Bundles.html similarity index 100% rename from talks/2023-types/_build/Algebra.Bundles.html rename to talks/2023-types/build/Algebra.Bundles.html diff --git a/talks/2023-types/_build/Algebra.Consequences.Base.html b/talks/2023-types/build/Algebra.Consequences.Base.html similarity index 100% rename from talks/2023-types/_build/Algebra.Consequences.Base.html rename to talks/2023-types/build/Algebra.Consequences.Base.html diff --git a/talks/2023-types/_build/Algebra.Consequences.Propositional.html b/talks/2023-types/build/Algebra.Consequences.Propositional.html similarity index 100% rename from talks/2023-types/_build/Algebra.Consequences.Propositional.html rename to talks/2023-types/build/Algebra.Consequences.Propositional.html diff --git a/talks/2023-types/_build/Algebra.Consequences.Setoid.html b/talks/2023-types/build/Algebra.Consequences.Setoid.html similarity index 100% rename from talks/2023-types/_build/Algebra.Consequences.Setoid.html rename to talks/2023-types/build/Algebra.Consequences.Setoid.html diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.Base.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.Base.html similarity index 100% rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.Base.html rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.Base.html diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.MaxOp.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.MaxOp.html similarity index 100% rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.MaxOp.html rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.MaxOp.html diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinMaxOp.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.MinMaxOp.html similarity index 100% rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinMaxOp.html rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.MinMaxOp.html diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinOp.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.MinOp.html similarity index 100% rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinOp.html rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.MinOp.html diff --git a/talks/2023-types/_build/Algebra.Core.html b/talks/2023-types/build/Algebra.Core.html similarity index 100% rename from talks/2023-types/_build/Algebra.Core.html rename to talks/2023-types/build/Algebra.Core.html diff --git a/talks/2023-types/_build/Algebra.Definitions.html b/talks/2023-types/build/Algebra.Definitions.html similarity index 100% rename from talks/2023-types/_build/Algebra.Definitions.html rename to talks/2023-types/build/Algebra.Definitions.html diff --git a/talks/2023-types/_build/Algebra.Morphism.Definitions.html b/talks/2023-types/build/Algebra.Morphism.Definitions.html similarity index 100% rename from talks/2023-types/_build/Algebra.Morphism.Definitions.html rename to talks/2023-types/build/Algebra.Morphism.Definitions.html diff --git a/talks/2023-types/_build/Algebra.Morphism.Structures.html b/talks/2023-types/build/Algebra.Morphism.Structures.html similarity index 100% rename from talks/2023-types/_build/Algebra.Morphism.Structures.html rename to talks/2023-types/build/Algebra.Morphism.Structures.html diff --git a/talks/2023-types/_build/Algebra.Morphism.html b/talks/2023-types/build/Algebra.Morphism.html similarity index 100% rename from talks/2023-types/_build/Algebra.Morphism.html rename to talks/2023-types/build/Algebra.Morphism.html diff --git a/talks/2023-types/_build/Algebra.Properties.BooleanAlgebra.html b/talks/2023-types/build/Algebra.Properties.BooleanAlgebra.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.BooleanAlgebra.html rename to talks/2023-types/build/Algebra.Properties.BooleanAlgebra.html diff --git a/talks/2023-types/_build/Algebra.Properties.CommutativeSemigroup.html b/talks/2023-types/build/Algebra.Properties.CommutativeSemigroup.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.CommutativeSemigroup.html rename to talks/2023-types/build/Algebra.Properties.CommutativeSemigroup.html diff --git a/talks/2023-types/_build/Algebra.Properties.DistributiveLattice.html b/talks/2023-types/build/Algebra.Properties.DistributiveLattice.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.DistributiveLattice.html rename to talks/2023-types/build/Algebra.Properties.DistributiveLattice.html diff --git a/talks/2023-types/_build/Algebra.Properties.Group.html b/talks/2023-types/build/Algebra.Properties.Group.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.Group.html rename to talks/2023-types/build/Algebra.Properties.Group.html diff --git a/talks/2023-types/_build/Algebra.Properties.Lattice.html b/talks/2023-types/build/Algebra.Properties.Lattice.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.Lattice.html rename to talks/2023-types/build/Algebra.Properties.Lattice.html diff --git a/talks/2023-types/_build/Algebra.Properties.Semigroup.html b/talks/2023-types/build/Algebra.Properties.Semigroup.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.Semigroup.html rename to talks/2023-types/build/Algebra.Properties.Semigroup.html diff --git a/talks/2023-types/_build/Algebra.Properties.Semilattice.html b/talks/2023-types/build/Algebra.Properties.Semilattice.html similarity index 100% rename from talks/2023-types/_build/Algebra.Properties.Semilattice.html rename to talks/2023-types/build/Algebra.Properties.Semilattice.html diff --git a/talks/2023-types/_build/Algebra.Structures.html b/talks/2023-types/build/Algebra.Structures.html similarity index 100% rename from talks/2023-types/_build/Algebra.Structures.html rename to talks/2023-types/build/Algebra.Structures.html diff --git a/talks/2023-types/_build/Algebra.html b/talks/2023-types/build/Algebra.html similarity index 100% rename from talks/2023-types/_build/Algebra.html rename to talks/2023-types/build/Algebra.html diff --git a/talks/2023-types/_build/Axiom.Extensionality.Propositional.html b/talks/2023-types/build/Axiom.Extensionality.Propositional.html similarity index 100% rename from talks/2023-types/_build/Axiom.Extensionality.Propositional.html rename to talks/2023-types/build/Axiom.Extensionality.Propositional.html diff --git a/talks/2023-types/_build/Axiom.UniquenessOfIdentityProofs.html b/talks/2023-types/build/Axiom.UniquenessOfIdentityProofs.html similarity index 100% rename from talks/2023-types/_build/Axiom.UniquenessOfIdentityProofs.html rename to talks/2023-types/build/Axiom.UniquenessOfIdentityProofs.html diff --git a/talks/2023-types/_build/Category.Applicative.Indexed.html b/talks/2023-types/build/Category.Applicative.Indexed.html similarity index 100% rename from talks/2023-types/_build/Category.Applicative.Indexed.html rename to talks/2023-types/build/Category.Applicative.Indexed.html diff --git a/talks/2023-types/_build/Category.Applicative.html b/talks/2023-types/build/Category.Applicative.html similarity index 100% rename from talks/2023-types/_build/Category.Applicative.html rename to talks/2023-types/build/Category.Applicative.html diff --git a/talks/2023-types/_build/Category.Functor.html b/talks/2023-types/build/Category.Functor.html similarity index 100% rename from talks/2023-types/_build/Category.Functor.html rename to talks/2023-types/build/Category.Functor.html diff --git a/talks/2023-types/_build/Category.Monad.Indexed.html b/talks/2023-types/build/Category.Monad.Indexed.html similarity index 100% rename from talks/2023-types/_build/Category.Monad.Indexed.html rename to talks/2023-types/build/Category.Monad.Indexed.html diff --git a/talks/2023-types/_build/Category.Monad.html b/talks/2023-types/build/Category.Monad.html similarity index 100% rename from talks/2023-types/_build/Category.Monad.html rename to talks/2023-types/build/Category.Monad.html diff --git a/talks/2023-types/_build/Data.Bool.Base.html b/talks/2023-types/build/Data.Bool.Base.html similarity index 100% rename from talks/2023-types/_build/Data.Bool.Base.html rename to talks/2023-types/build/Data.Bool.Base.html diff --git a/talks/2023-types/_build/Data.Bool.Properties.html b/talks/2023-types/build/Data.Bool.Properties.html similarity index 100% rename from talks/2023-types/_build/Data.Bool.Properties.html rename to talks/2023-types/build/Data.Bool.Properties.html diff --git a/talks/2023-types/_build/Data.Empty.Irrelevant.html b/talks/2023-types/build/Data.Empty.Irrelevant.html similarity index 100% rename from talks/2023-types/_build/Data.Empty.Irrelevant.html rename to talks/2023-types/build/Data.Empty.Irrelevant.html diff --git a/talks/2023-types/_build/Data.Empty.html b/talks/2023-types/build/Data.Empty.html similarity index 100% rename from talks/2023-types/_build/Data.Empty.html rename to talks/2023-types/build/Data.Empty.html diff --git a/talks/2023-types/_build/Data.Fin.Base.html b/talks/2023-types/build/Data.Fin.Base.html similarity index 100% rename from talks/2023-types/_build/Data.Fin.Base.html rename to talks/2023-types/build/Data.Fin.Base.html diff --git a/talks/2023-types/_build/Data.Fin.Patterns.html b/talks/2023-types/build/Data.Fin.Patterns.html similarity index 100% rename from talks/2023-types/_build/Data.Fin.Patterns.html rename to talks/2023-types/build/Data.Fin.Patterns.html diff --git a/talks/2023-types/_build/Data.Fin.Properties.html b/talks/2023-types/build/Data.Fin.Properties.html similarity index 100% rename from talks/2023-types/_build/Data.Fin.Properties.html rename to talks/2023-types/build/Data.Fin.Properties.html diff --git a/talks/2023-types/_build/Data.Fin.html b/talks/2023-types/build/Data.Fin.html similarity index 100% rename from talks/2023-types/_build/Data.Fin.html rename to talks/2023-types/build/Data.Fin.html diff --git a/talks/2023-types/_build/Data.List.Base.html b/talks/2023-types/build/Data.List.Base.html similarity index 100% rename from talks/2023-types/_build/Data.List.Base.html rename to talks/2023-types/build/Data.List.Base.html diff --git a/talks/2023-types/_build/Data.List.Membership.Propositional.html b/talks/2023-types/build/Data.List.Membership.Propositional.html similarity index 100% rename from talks/2023-types/_build/Data.List.Membership.Propositional.html rename to talks/2023-types/build/Data.List.Membership.Propositional.html diff --git a/talks/2023-types/_build/Data.List.Membership.Setoid.html b/talks/2023-types/build/Data.List.Membership.Setoid.html similarity index 100% rename from talks/2023-types/_build/Data.List.Membership.Setoid.html rename to talks/2023-types/build/Data.List.Membership.Setoid.html diff --git a/talks/2023-types/_build/Data.List.Relation.Unary.All.html b/talks/2023-types/build/Data.List.Relation.Unary.All.html similarity index 100% rename from talks/2023-types/_build/Data.List.Relation.Unary.All.html rename to talks/2023-types/build/Data.List.Relation.Unary.All.html diff --git a/talks/2023-types/_build/Data.List.Relation.Unary.Any.html b/talks/2023-types/build/Data.List.Relation.Unary.Any.html similarity index 100% rename from talks/2023-types/_build/Data.List.Relation.Unary.Any.html rename to talks/2023-types/build/Data.List.Relation.Unary.Any.html diff --git a/talks/2023-types/_build/Data.List.html b/talks/2023-types/build/Data.List.html similarity index 100% rename from talks/2023-types/_build/Data.List.html rename to talks/2023-types/build/Data.List.html diff --git a/talks/2023-types/_build/Data.Maybe.Base.html b/talks/2023-types/build/Data.Maybe.Base.html similarity index 100% rename from talks/2023-types/_build/Data.Maybe.Base.html rename to talks/2023-types/build/Data.Maybe.Base.html diff --git a/talks/2023-types/_build/Data.Nat.Base.html b/talks/2023-types/build/Data.Nat.Base.html similarity index 100% rename from talks/2023-types/_build/Data.Nat.Base.html rename to talks/2023-types/build/Data.Nat.Base.html diff --git a/talks/2023-types/_build/Data.Nat.Properties.Core.html b/talks/2023-types/build/Data.Nat.Properties.Core.html similarity index 100% rename from talks/2023-types/_build/Data.Nat.Properties.Core.html rename to talks/2023-types/build/Data.Nat.Properties.Core.html diff --git a/talks/2023-types/_build/Data.Nat.Properties.html b/talks/2023-types/build/Data.Nat.Properties.html similarity index 100% rename from talks/2023-types/_build/Data.Nat.Properties.html rename to talks/2023-types/build/Data.Nat.Properties.html diff --git a/talks/2023-types/_build/Data.Nat.html b/talks/2023-types/build/Data.Nat.html similarity index 100% rename from talks/2023-types/_build/Data.Nat.html rename to talks/2023-types/build/Data.Nat.html diff --git a/talks/2023-types/_build/Data.Product.html b/talks/2023-types/build/Data.Product.html similarity index 100% rename from talks/2023-types/_build/Data.Product.html rename to talks/2023-types/build/Data.Product.html diff --git a/talks/2023-types/_build/Data.Sum.Base.html b/talks/2023-types/build/Data.Sum.Base.html similarity index 100% rename from talks/2023-types/_build/Data.Sum.Base.html rename to talks/2023-types/build/Data.Sum.Base.html diff --git a/talks/2023-types/_build/Data.Sum.Properties.html b/talks/2023-types/build/Data.Sum.Properties.html similarity index 100% rename from talks/2023-types/_build/Data.Sum.Properties.html rename to talks/2023-types/build/Data.Sum.Properties.html diff --git a/talks/2023-types/_build/Data.These.Base.html b/talks/2023-types/build/Data.These.Base.html similarity index 100% rename from talks/2023-types/_build/Data.These.Base.html rename to talks/2023-types/build/Data.These.Base.html diff --git a/talks/2023-types/_build/Data.Unit.Base.html b/talks/2023-types/build/Data.Unit.Base.html similarity index 100% rename from talks/2023-types/_build/Data.Unit.Base.html rename to talks/2023-types/build/Data.Unit.Base.html diff --git a/talks/2023-types/_build/Data.Unit.Properties.html b/talks/2023-types/build/Data.Unit.Properties.html similarity index 100% rename from talks/2023-types/_build/Data.Unit.Properties.html rename to talks/2023-types/build/Data.Unit.Properties.html diff --git a/talks/2023-types/_build/Data.Unit.html b/talks/2023-types/build/Data.Unit.html similarity index 100% rename from talks/2023-types/_build/Data.Unit.html rename to talks/2023-types/build/Data.Unit.html diff --git a/talks/2023-types/_build/Function.Base.html b/talks/2023-types/build/Function.Base.html similarity index 100% rename from talks/2023-types/_build/Function.Base.html rename to talks/2023-types/build/Function.Base.html diff --git a/talks/2023-types/_build/Function.Bundles.html b/talks/2023-types/build/Function.Bundles.html similarity index 100% rename from talks/2023-types/_build/Function.Bundles.html rename to talks/2023-types/build/Function.Bundles.html diff --git a/talks/2023-types/_build/Function.Core.html b/talks/2023-types/build/Function.Core.html similarity index 100% rename from talks/2023-types/_build/Function.Core.html rename to talks/2023-types/build/Function.Core.html diff --git a/talks/2023-types/_build/Function.Definitions.Core1.html b/talks/2023-types/build/Function.Definitions.Core1.html similarity index 100% rename from talks/2023-types/_build/Function.Definitions.Core1.html rename to talks/2023-types/build/Function.Definitions.Core1.html diff --git a/talks/2023-types/_build/Function.Definitions.Core2.html b/talks/2023-types/build/Function.Definitions.Core2.html similarity index 100% rename from talks/2023-types/_build/Function.Definitions.Core2.html rename to talks/2023-types/build/Function.Definitions.Core2.html diff --git a/talks/2023-types/_build/Function.Definitions.html b/talks/2023-types/build/Function.Definitions.html similarity index 100% rename from talks/2023-types/_build/Function.Definitions.html rename to talks/2023-types/build/Function.Definitions.html diff --git a/talks/2023-types/_build/Function.Equality.html b/talks/2023-types/build/Function.Equality.html similarity index 100% rename from talks/2023-types/_build/Function.Equality.html rename to talks/2023-types/build/Function.Equality.html diff --git a/talks/2023-types/_build/Function.Equivalence.html b/talks/2023-types/build/Function.Equivalence.html similarity index 100% rename from talks/2023-types/_build/Function.Equivalence.html rename to talks/2023-types/build/Function.Equivalence.html diff --git a/talks/2023-types/_build/Function.Injection.html b/talks/2023-types/build/Function.Injection.html similarity index 100% rename from talks/2023-types/_build/Function.Injection.html rename to talks/2023-types/build/Function.Injection.html diff --git a/talks/2023-types/_build/Function.Metric.Bundles.html b/talks/2023-types/build/Function.Metric.Bundles.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Bundles.html rename to talks/2023-types/build/Function.Metric.Bundles.html diff --git a/talks/2023-types/_build/Function.Metric.Core.html b/talks/2023-types/build/Function.Metric.Core.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Core.html rename to talks/2023-types/build/Function.Metric.Core.html diff --git a/talks/2023-types/_build/Function.Metric.Definitions.html b/talks/2023-types/build/Function.Metric.Definitions.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Definitions.html rename to talks/2023-types/build/Function.Metric.Definitions.html diff --git a/talks/2023-types/_build/Function.Metric.Nat.Bundles.html b/talks/2023-types/build/Function.Metric.Nat.Bundles.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Nat.Bundles.html rename to talks/2023-types/build/Function.Metric.Nat.Bundles.html diff --git a/talks/2023-types/_build/Function.Metric.Nat.Core.html b/talks/2023-types/build/Function.Metric.Nat.Core.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Nat.Core.html rename to talks/2023-types/build/Function.Metric.Nat.Core.html diff --git a/talks/2023-types/_build/Function.Metric.Nat.Definitions.html b/talks/2023-types/build/Function.Metric.Nat.Definitions.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Nat.Definitions.html rename to talks/2023-types/build/Function.Metric.Nat.Definitions.html diff --git a/talks/2023-types/_build/Function.Metric.Nat.Structures.html b/talks/2023-types/build/Function.Metric.Nat.Structures.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Nat.Structures.html rename to talks/2023-types/build/Function.Metric.Nat.Structures.html diff --git a/talks/2023-types/_build/Function.Metric.Nat.html b/talks/2023-types/build/Function.Metric.Nat.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Nat.html rename to talks/2023-types/build/Function.Metric.Nat.html diff --git a/talks/2023-types/_build/Function.Metric.Structures.html b/talks/2023-types/build/Function.Metric.Structures.html similarity index 100% rename from talks/2023-types/_build/Function.Metric.Structures.html rename to talks/2023-types/build/Function.Metric.Structures.html diff --git a/talks/2023-types/_build/Function.Structures.html b/talks/2023-types/build/Function.Structures.html similarity index 100% rename from talks/2023-types/_build/Function.Structures.html rename to talks/2023-types/build/Function.Structures.html diff --git a/talks/2023-types/_build/Function.html b/talks/2023-types/build/Function.html similarity index 100% rename from talks/2023-types/_build/Function.html rename to talks/2023-types/build/Function.html diff --git a/talks/2023-types/_build/Level.html b/talks/2023-types/build/Level.html similarity index 100% rename from talks/2023-types/_build/Level.html rename to talks/2023-types/build/Level.html diff --git a/talks/2023-types/_build/Relation.Binary.Bundles.html b/talks/2023-types/build/Relation.Binary.Bundles.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Bundles.html rename to talks/2023-types/build/Relation.Binary.Bundles.html diff --git a/talks/2023-types/_build/Relation.Binary.Consequences.html b/talks/2023-types/build/Relation.Binary.Consequences.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Consequences.html rename to talks/2023-types/build/Relation.Binary.Consequences.html diff --git a/talks/2023-types/_build/Relation.Binary.Construct.Converse.html b/talks/2023-types/build/Relation.Binary.Construct.Converse.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Construct.Converse.html rename to talks/2023-types/build/Relation.Binary.Construct.Converse.html diff --git a/talks/2023-types/_build/Relation.Binary.Construct.NaturalOrder.Left.html b/talks/2023-types/build/Relation.Binary.Construct.NaturalOrder.Left.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Construct.NaturalOrder.Left.html rename to talks/2023-types/build/Relation.Binary.Construct.NaturalOrder.Left.html diff --git a/talks/2023-types/_build/Relation.Binary.Construct.NonStrictToStrict.html b/talks/2023-types/build/Relation.Binary.Construct.NonStrictToStrict.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Construct.NonStrictToStrict.html rename to talks/2023-types/build/Relation.Binary.Construct.NonStrictToStrict.html diff --git a/talks/2023-types/_build/Relation.Binary.Core.html b/talks/2023-types/build/Relation.Binary.Core.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Core.html rename to talks/2023-types/build/Relation.Binary.Core.html diff --git a/talks/2023-types/_build/Relation.Binary.Definitions.html b/talks/2023-types/build/Relation.Binary.Definitions.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Definitions.html rename to talks/2023-types/build/Relation.Binary.Definitions.html diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Bundles.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Bundles.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Bundles.html rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Bundles.html diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Core.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Core.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Core.html rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Core.html diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Definitions.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Definitions.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Definitions.html rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Definitions.html diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Structures.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Structures.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Structures.html rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Structures.html diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.html rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.html diff --git a/talks/2023-types/_build/Relation.Binary.Lattice.html b/talks/2023-types/build/Relation.Binary.Lattice.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Lattice.html rename to talks/2023-types/build/Relation.Binary.Lattice.html diff --git a/talks/2023-types/_build/Relation.Binary.Morphism.Definitions.html b/talks/2023-types/build/Relation.Binary.Morphism.Definitions.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Morphism.Definitions.html rename to talks/2023-types/build/Relation.Binary.Morphism.Definitions.html diff --git a/talks/2023-types/_build/Relation.Binary.Morphism.Structures.html b/talks/2023-types/build/Relation.Binary.Morphism.Structures.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Morphism.Structures.html rename to talks/2023-types/build/Relation.Binary.Morphism.Structures.html diff --git a/talks/2023-types/_build/Relation.Binary.Properties.Poset.html b/talks/2023-types/build/Relation.Binary.Properties.Poset.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Properties.Poset.html rename to talks/2023-types/build/Relation.Binary.Properties.Poset.html diff --git a/talks/2023-types/_build/Relation.Binary.Properties.Preorder.html b/talks/2023-types/build/Relation.Binary.Properties.Preorder.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Properties.Preorder.html rename to talks/2023-types/build/Relation.Binary.Properties.Preorder.html diff --git a/talks/2023-types/_build/Relation.Binary.Properties.TotalOrder.html b/talks/2023-types/build/Relation.Binary.Properties.TotalOrder.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Properties.TotalOrder.html rename to talks/2023-types/build/Relation.Binary.Properties.TotalOrder.html diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.Algebra.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.Algebra.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.Algebra.html rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.Algebra.html diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.Core.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.Core.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.Core.html rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.Core.html diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.Properties.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.Properties.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.Properties.html rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.Properties.html diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.html rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.html diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Base.Double.html b/talks/2023-types/build/Relation.Binary.Reasoning.Base.Double.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Reasoning.Base.Double.html rename to talks/2023-types/build/Relation.Binary.Reasoning.Base.Double.html diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Base.Single.html b/talks/2023-types/build/Relation.Binary.Reasoning.Base.Single.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Reasoning.Base.Single.html rename to talks/2023-types/build/Relation.Binary.Reasoning.Base.Single.html diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Base.Triple.html b/talks/2023-types/build/Relation.Binary.Reasoning.Base.Triple.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Reasoning.Base.Triple.html rename to talks/2023-types/build/Relation.Binary.Reasoning.Base.Triple.html diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Preorder.html b/talks/2023-types/build/Relation.Binary.Reasoning.Preorder.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Reasoning.Preorder.html rename to talks/2023-types/build/Relation.Binary.Reasoning.Preorder.html diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Setoid.html b/talks/2023-types/build/Relation.Binary.Reasoning.Setoid.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Reasoning.Setoid.html rename to talks/2023-types/build/Relation.Binary.Reasoning.Setoid.html diff --git a/talks/2023-types/_build/Relation.Binary.Structures.html b/talks/2023-types/build/Relation.Binary.Structures.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.Structures.html rename to talks/2023-types/build/Relation.Binary.Structures.html diff --git a/talks/2023-types/_build/Relation.Binary.html b/talks/2023-types/build/Relation.Binary.html similarity index 100% rename from talks/2023-types/_build/Relation.Binary.html rename to talks/2023-types/build/Relation.Binary.html diff --git a/talks/2023-types/_build/Relation.Nullary.Decidable.Core.html b/talks/2023-types/build/Relation.Nullary.Decidable.Core.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Decidable.Core.html rename to talks/2023-types/build/Relation.Nullary.Decidable.Core.html diff --git a/talks/2023-types/_build/Relation.Nullary.Decidable.html b/talks/2023-types/build/Relation.Nullary.Decidable.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Decidable.html rename to talks/2023-types/build/Relation.Nullary.Decidable.html diff --git a/talks/2023-types/_build/Relation.Nullary.Negation.Core.html b/talks/2023-types/build/Relation.Nullary.Negation.Core.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Negation.Core.html rename to talks/2023-types/build/Relation.Nullary.Negation.Core.html diff --git a/talks/2023-types/_build/Relation.Nullary.Negation.html b/talks/2023-types/build/Relation.Nullary.Negation.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Negation.html rename to talks/2023-types/build/Relation.Nullary.Negation.html diff --git a/talks/2023-types/_build/Relation.Nullary.Product.html b/talks/2023-types/build/Relation.Nullary.Product.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Product.html rename to talks/2023-types/build/Relation.Nullary.Product.html diff --git a/talks/2023-types/_build/Relation.Nullary.Reflects.html b/talks/2023-types/build/Relation.Nullary.Reflects.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Reflects.html rename to talks/2023-types/build/Relation.Nullary.Reflects.html diff --git a/talks/2023-types/_build/Relation.Nullary.Sum.html b/talks/2023-types/build/Relation.Nullary.Sum.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.Sum.html rename to talks/2023-types/build/Relation.Nullary.Sum.html diff --git a/talks/2023-types/_build/Relation.Nullary.html b/talks/2023-types/build/Relation.Nullary.html similarity index 100% rename from talks/2023-types/_build/Relation.Nullary.html rename to talks/2023-types/build/Relation.Nullary.html diff --git a/talks/2023-types/_build/Relation.Unary.Properties.html b/talks/2023-types/build/Relation.Unary.Properties.html similarity index 100% rename from talks/2023-types/_build/Relation.Unary.Properties.html rename to talks/2023-types/build/Relation.Unary.Properties.html diff --git a/talks/2023-types/_build/Relation.Unary.html b/talks/2023-types/build/Relation.Unary.html similarity index 100% rename from talks/2023-types/_build/Relation.Unary.html rename to talks/2023-types/build/Relation.Unary.html diff --git a/talks/2023-types/_build/Strict.html b/talks/2023-types/build/Strict.html similarity index 100% rename from talks/2023-types/_build/Strict.html rename to talks/2023-types/build/Strict.html diff --git a/talks/2023-types/_build/img/cat.gif b/talks/2023-types/build/img/cat.gif similarity index 100% rename from talks/2023-types/_build/img/cat.gif rename to talks/2023-types/build/img/cat.gif diff --git a/talks/2023-types/_build/my.css b/talks/2023-types/build/my.css similarity index 100% rename from talks/2023-types/_build/my.css rename to talks/2023-types/build/my.css diff --git a/talks/2023-types/_build/present.html b/talks/2023-types/build/present.html similarity index 100% rename from talks/2023-types/_build/present.html rename to talks/2023-types/build/present.html diff --git a/talks/2023-types/index.html b/talks/2023-types/index.html index ce649a0..032f2ea 100644 --- a/talks/2023-types/index.html +++ b/talks/2023-types/index.html @@ -1 +1 @@ - +