Skip to content

Files

Failed to load latest commit information.

Latest commit

 Cannot retrieve latest commit at this time.

History

History

html

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Agda.Builtin.Bool.html
Agda.Builtin.Bool.html
 
 
Agda.Builtin.Char.Properties.html
Agda.Builtin.Char.Properties.html
 
 
Agda.Builtin.Char.html
Agda.Builtin.Char.html
 
 
Agda.Builtin.Equality.html
Agda.Builtin.Equality.html
 
 
Agda.Builtin.List.html
Agda.Builtin.List.html
 
 
Agda.Builtin.Maybe.html
Agda.Builtin.Maybe.html
 
 
Agda.Builtin.Nat.html
Agda.Builtin.Nat.html
 
 
Agda.Builtin.Sigma.html
Agda.Builtin.Sigma.html
 
 
Agda.Builtin.Strict.html
Agda.Builtin.Strict.html
 
 
Agda.Builtin.String.Properties.html
Agda.Builtin.String.Properties.html
 
 
Agda.Builtin.String.html
Agda.Builtin.String.html
 
 
Agda.Builtin.Unit.html
Agda.Builtin.Unit.html
 
 
Agda.Primitive.html
Agda.Primitive.html
 
 
Agda.css
Agda.css
 
 
Algebra.Bundles.html
Algebra.Bundles.html
 
 
Algebra.Consequences.Base.html
Algebra.Consequences.Base.html
 
 
Algebra.Consequences.Propositional.html
Algebra.Consequences.Propositional.html
 
 
Algebra.Consequences.Setoid.html
Algebra.Consequences.Setoid.html
 
 
Algebra.Construct.LiftedChoice.html
Algebra.Construct.LiftedChoice.html
 
 
Algebra.Construct.NaturalChoice.Base.html
Algebra.Construct.NaturalChoice.Base.html
 
 
Algebra.Construct.NaturalChoice.Max.html
Algebra.Construct.NaturalChoice.Max.html
 
 
Algebra.Construct.NaturalChoice.MaxOp.html
Algebra.Construct.NaturalChoice.MaxOp.html
 
 
Algebra.Construct.NaturalChoice.Min.html
Algebra.Construct.NaturalChoice.Min.html
 
 
Algebra.Construct.NaturalChoice.MinMaxOp.html
Algebra.Construct.NaturalChoice.MinMaxOp.html
 
 
Algebra.Construct.NaturalChoice.MinOp.html
Algebra.Construct.NaturalChoice.MinOp.html
 
 
Algebra.Core.html
Algebra.Core.html
 
 
Algebra.Definitions.html
Algebra.Definitions.html
 
 
Algebra.Morphism.Definitions.html
Algebra.Morphism.Definitions.html
 
 
Algebra.Morphism.Structures.html
Algebra.Morphism.Structures.html
 
 
Algebra.Morphism.html
Algebra.Morphism.html
 
 
Algebra.Properties.BooleanAlgebra.html
Algebra.Properties.BooleanAlgebra.html
 
 
Algebra.Properties.CommutativeSemigroup.html
Algebra.Properties.CommutativeSemigroup.html
 
 
Algebra.Properties.DistributiveLattice.html
Algebra.Properties.DistributiveLattice.html
 
 
Algebra.Properties.Group.html
Algebra.Properties.Group.html
 
 
Algebra.Properties.Lattice.html
Algebra.Properties.Lattice.html
 
 
Algebra.Properties.Semigroup.html
Algebra.Properties.Semigroup.html
 
 
Algebra.Properties.Semilattice.html
Algebra.Properties.Semilattice.html
 
 
Algebra.Structures.Biased.html
Algebra.Structures.Biased.html
 
 
Algebra.Structures.html
Algebra.Structures.html
 
 
Algebra.html
Algebra.html
 
 
Axiom.Extensionality.Propositional.html
Axiom.Extensionality.Propositional.html
 
 
Axiom.UniquenessOfIdentityProofs.html
Axiom.UniquenessOfIdentityProofs.html
 
 
Category.Applicative.Indexed.html
Category.Applicative.Indexed.html
 
 
Category.Applicative.html
Category.Applicative.html
 
 
Category.Functor.html
Category.Functor.html
 
 
Category.Monad.Indexed.html
Category.Monad.Indexed.html
 
 
Category.Monad.html
Category.Monad.html
 
 
Data.Bool.Base.html
Data.Bool.Base.html
 
 
Data.Bool.Properties.html
Data.Bool.Properties.html
 
 
Data.Bool.html
Data.Bool.html
 
 
Data.Char.Base.html
Data.Char.Base.html
 
 
Data.Char.Properties.html
Data.Char.Properties.html
 
 
Data.Char.html
Data.Char.html
 
 
Data.Empty.Irrelevant.html
Data.Empty.Irrelevant.html
 
 
Data.Empty.Polymorphic.html
Data.Empty.Polymorphic.html
 
 
Data.Empty.html
Data.Empty.html
 
 
Data.Fin.Base.html
Data.Fin.Base.html
 
 
Data.Fin.Patterns.html
Data.Fin.Patterns.html
 
 
Data.Fin.Properties.html
Data.Fin.Properties.html
 
 
Data.Fin.html
Data.Fin.html
 
 
Data.List.Base.html
Data.List.Base.html
 
 
Data.List.Categorical.html
Data.List.Categorical.html
 
 
Data.List.Extrema.Core.html
Data.List.Extrema.Core.html
 
 
Data.List.Extrema.html
Data.List.Extrema.html
 
 
Data.List.Membership.DecPropositional.html
Data.List.Membership.DecPropositional.html
 
 
Data.List.Membership.DecSetoid.html
Data.List.Membership.DecSetoid.html
 
 
Data.List.Membership.Propositional.Properties.Core.html
Data.List.Membership.Propositional.Properties.Core.html
 
 
Data.List.Membership.Propositional.Properties.html
Data.List.Membership.Propositional.Properties.html
 
 
Data.List.Membership.Propositional.html
Data.List.Membership.Propositional.html
 
 
Data.List.Membership.Setoid.Properties.html
Data.List.Membership.Setoid.Properties.html
 
 
Data.List.Membership.Setoid.html
Data.List.Membership.Setoid.html
 
 
Data.List.NonEmpty.Base.html
Data.List.NonEmpty.Base.html
 
 
Data.List.NonEmpty.html
Data.List.NonEmpty.html
 
 
Data.List.Properties.html
Data.List.Properties.html
 
 
Data.List.Relation.Binary.Equality.Propositional.html
Data.List.Relation.Binary.Equality.Propositional.html
 
 
Data.List.Relation.Binary.Equality.Setoid.html
Data.List.Relation.Binary.Equality.Setoid.html
 
 
Data.List.Relation.Binary.Lex.Core.html
Data.List.Relation.Binary.Lex.Core.html
 
 
Data.List.Relation.Binary.Lex.Strict.html
Data.List.Relation.Binary.Lex.Strict.html
 
 
Data.List.Relation.Binary.Lex.html
Data.List.Relation.Binary.Lex.html
 
 
Data.List.Relation.Binary.Pointwise.Base.html
Data.List.Relation.Binary.Pointwise.Base.html
 
 
Data.List.Relation.Binary.Pointwise.Properties.html
Data.List.Relation.Binary.Pointwise.Properties.html
 
 
Data.List.Relation.Binary.Pointwise.html
Data.List.Relation.Binary.Pointwise.html
 
 
Data.List.Relation.Binary.Subset.Propositional.html
Data.List.Relation.Binary.Subset.Propositional.html
 
 
Data.List.Relation.Binary.Subset.Setoid.html
Data.List.Relation.Binary.Subset.Setoid.html
 
 
Data.List.Relation.Unary.All.html
Data.List.Relation.Unary.All.html
 
 
Data.List.Relation.Unary.AllPairs.Core.html
Data.List.Relation.Unary.AllPairs.Core.html
 
 
Data.List.Relation.Unary.AllPairs.html
Data.List.Relation.Unary.AllPairs.html
 
 
Data.List.Relation.Unary.Any.Properties.html
Data.List.Relation.Unary.Any.Properties.html
 
 
Data.List.Relation.Unary.Any.html
Data.List.Relation.Unary.Any.html
 
 
Data.List.Relation.Unary.Unique.Setoid.html
Data.List.Relation.Unary.Unique.Setoid.html
 
 
Data.List.html
Data.List.html
 
 
Data.Maybe.Base.html
Data.Maybe.Base.html
 
 
Data.Maybe.Relation.Unary.Any.html
Data.Maybe.Relation.Unary.Any.html
 
 
Data.Nat.Base.html
Data.Nat.Base.html
 
 
Data.Nat.Properties.Core.html
Data.Nat.Properties.Core.html
 
 
Data.Nat.Properties.html
Data.Nat.Properties.html
 
 
Data.Nat.html
Data.Nat.html
 
 
Data.Product.Function.Dependent.Propositional.html
Data.Product.Function.Dependent.Propositional.html
 
 
Data.Product.Function.NonDependent.Propositional.html
Data.Product.Function.NonDependent.Propositional.html
 
 
Data.Product.Function.NonDependent.Setoid.html
Data.Product.Function.NonDependent.Setoid.html
 
 
Data.Product.Properties.html
Data.Product.Properties.html
 
 
Data.Product.Relation.Binary.Pointwise.NonDependent.html
Data.Product.Relation.Binary.Pointwise.NonDependent.html
 
 
Data.Product.Relation.Unary.All.html
Data.Product.Relation.Unary.All.html
 
 
Data.Product.html
Data.Product.html
 
 
Data.String.Base.html
Data.String.Base.html
 
 
Data.String.Properties.html
Data.String.Properties.html
 
 
Data.String.html
Data.String.html
 
 
Data.Sum.Base.html
Data.Sum.Base.html
 
 
Data.Sum.Function.Propositional.html
Data.Sum.Function.Propositional.html
 
 
Data.Sum.Function.Setoid.html
Data.Sum.Function.Setoid.html
 
 
Data.Sum.Properties.html
Data.Sum.Properties.html
 
 
Data.Sum.Relation.Binary.Pointwise.html
Data.Sum.Relation.Binary.Pointwise.html
 
 
Data.Sum.html
Data.Sum.html
 
 
Data.These.Base.html
Data.These.Base.html
 
 
Data.Unit.Base.html
Data.Unit.Base.html
 
 
Data.Unit.Polymorphic.Base.html
Data.Unit.Polymorphic.Base.html
 
 
Data.Unit.Polymorphic.Properties.html
Data.Unit.Polymorphic.Properties.html
 
 
Data.Unit.Polymorphic.html
Data.Unit.Polymorphic.html
 
 
Data.Unit.Properties.html
Data.Unit.Properties.html
 
 
Data.Unit.html
Data.Unit.html
 
 
Data.Vec.Base.html
Data.Vec.Base.html
 
 
Function.Base.html
Function.Base.html
 
 
Function.Bijection.html
Function.Bijection.html
 
 
Function.Bundles.html
Function.Bundles.html
 
 
Function.Core.html
Function.Core.html
 
 
Function.Definitions.Core1.html
Function.Definitions.Core1.html
 
 
Function.Definitions.Core2.html
Function.Definitions.Core2.html
 
 
Function.Definitions.html
Function.Definitions.html
 
 
Function.Equality.html
Function.Equality.html
 
 
Function.Equivalence.html
Function.Equivalence.html
 
 
Function.HalfAdjointEquivalence.html
Function.HalfAdjointEquivalence.html
 
 
Function.Injection.html
Function.Injection.html
 
 
Function.Inverse.html
Function.Inverse.html
 
 
Function.LeftInverse.html
Function.LeftInverse.html
 
 
Function.Metric.Bundles.html
Function.Metric.Bundles.html
 
 
Function.Metric.Core.html
Function.Metric.Core.html
 
 
Function.Metric.Definitions.html
Function.Metric.Definitions.html
 
 
Function.Metric.Nat.Bundles.html
Function.Metric.Nat.Bundles.html
 
 
Function.Metric.Nat.Core.html
Function.Metric.Nat.Core.html
 
 
Function.Metric.Nat.Definitions.html
Function.Metric.Nat.Definitions.html
 
 
Function.Metric.Nat.Structures.html
Function.Metric.Nat.Structures.html
 
 
Function.Metric.Nat.html
Function.Metric.Nat.html
 
 
Function.Metric.Structures.html
Function.Metric.Structures.html
 
 
Function.Related.TypeIsomorphisms.html
Function.Related.TypeIsomorphisms.html
 
 
Function.Related.html
Function.Related.html
 
 
Function.Structures.html
Function.Structures.html
 
 
Function.Surjection.html
Function.Surjection.html
 
 
Function.html
Function.html
 
 
Induction.WellFounded.html
Induction.WellFounded.html
 
 
Induction.html
Induction.html
 
 
Level.html
Level.html
 
 
ROmega.All.html
ROmega.All.html
 
 
ROmega.Entailment.Reasoning.html
ROmega.Entailment.Reasoning.html
 
 
ROmega.Entailment.Semantics.html
ROmega.Entailment.Semantics.html
 
 
ROmega.Entailment.Syntax.html
ROmega.Entailment.Syntax.html
 
 
ROmega.Entailment.html
ROmega.Entailment.html
 
 
ROmega.Equivalence.Semantics.html
ROmega.Equivalence.Semantics.html
 
 
ROmega.Equivalence.Syntax.html
ROmega.Equivalence.Syntax.html
 
 
ROmega.Equivalence.html
ROmega.Equivalence.html
 
 
ROmega.Examples.Section-3.html
ROmega.Examples.Section-3.html
 
 
ROmega.IndexCalculus.Properties.html
ROmega.IndexCalculus.Properties.html
 
 
ROmega.IndexCalculus.Records.html
ROmega.IndexCalculus.Records.html
 
 
ROmega.IndexCalculus.Rows.html
ROmega.IndexCalculus.Rows.html
 
 
ROmega.IndexCalculus.Variants.html
ROmega.IndexCalculus.Variants.html
 
 
ROmega.IndexCalculus.html
ROmega.IndexCalculus.html
 
 
ROmega.Lib.Equality.html
ROmega.Lib.Equality.html
 
 
ROmega.Postulates.FunExt.html
ROmega.Postulates.FunExt.html
 
 
ROmega.Terms.Semantics.html
ROmega.Terms.Semantics.html
 
 
ROmega.Terms.Syntax.html
ROmega.Terms.Syntax.html
 
 
ROmega.Terms.html
ROmega.Terms.html
 
 
ROmega.Types.Semantics.html
ROmega.Types.Semantics.html
 
 
ROmega.Types.Substitution.Properties.html
ROmega.Types.Substitution.Properties.html
 
 
ROmega.Types.Substitution.html
ROmega.Types.Substitution.html
 
 
ROmega.Types.Syntax.html
ROmega.Types.Syntax.html
 
 
ROmega.Types.html
ROmega.Types.html
 
 
Relation.Binary.Bundles.html
Relation.Binary.Bundles.html
 
 
Relation.Binary.Consequences.html
Relation.Binary.Consequences.html
 
 
Relation.Binary.Construct.Closure.Reflexive.Properties.html
Relation.Binary.Construct.Closure.Reflexive.Properties.html
 
 
Relation.Binary.Construct.Closure.Reflexive.html
Relation.Binary.Construct.Closure.Reflexive.html
 
 
Relation.Binary.Construct.Constant.Core.html
Relation.Binary.Construct.Constant.Core.html
 
 
Relation.Binary.Construct.Converse.html
Relation.Binary.Construct.Converse.html
 
 
Relation.Binary.Construct.Intersection.html
Relation.Binary.Construct.Intersection.html
 
 
Relation.Binary.Construct.NaturalOrder.Left.html
Relation.Binary.Construct.NaturalOrder.Left.html
 
 
Relation.Binary.Construct.NonStrictToStrict.html
Relation.Binary.Construct.NonStrictToStrict.html
 
 
Relation.Binary.Construct.On.html
Relation.Binary.Construct.On.html
 
 
Relation.Binary.Construct.Subst.Equality.html
Relation.Binary.Construct.Subst.Equality.html
 
 
Relation.Binary.Core.html
Relation.Binary.Core.html
 
 
Relation.Binary.Definitions.html
Relation.Binary.Definitions.html
 
 
Relation.Binary.Indexed.Heterogeneous.Bundles.html
Relation.Binary.Indexed.Heterogeneous.Bundles.html
 
 
Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
 
 
Relation.Binary.Indexed.Heterogeneous.Core.html
Relation.Binary.Indexed.Heterogeneous.Core.html
 
 
Relation.Binary.Indexed.Heterogeneous.Definitions.html
Relation.Binary.Indexed.Heterogeneous.Definitions.html
 
 
Relation.Binary.Indexed.Heterogeneous.Structures.html
Relation.Binary.Indexed.Heterogeneous.Structures.html
 
 
Relation.Binary.Indexed.Heterogeneous.html
Relation.Binary.Indexed.Heterogeneous.html
 
 
Relation.Binary.Lattice.html
Relation.Binary.Lattice.html
 
 
Relation.Binary.Morphism.Definitions.html
Relation.Binary.Morphism.Definitions.html
 
 
Relation.Binary.Morphism.Structures.html
Relation.Binary.Morphism.Structures.html
 
 
Relation.Binary.Properties.DecTotalOrder.html
Relation.Binary.Properties.DecTotalOrder.html
 
 
Relation.Binary.Properties.Poset.html
Relation.Binary.Properties.Poset.html
 
 
Relation.Binary.Properties.Preorder.html
Relation.Binary.Properties.Preorder.html
 
 
Relation.Binary.Properties.Setoid.html
Relation.Binary.Properties.Setoid.html
 
 
Relation.Binary.Properties.TotalOrder.html
Relation.Binary.Properties.TotalOrder.html
 
 
Relation.Binary.PropositionalEquality.Algebra.html
Relation.Binary.PropositionalEquality.Algebra.html
 
 
Relation.Binary.PropositionalEquality.Core.html
Relation.Binary.PropositionalEquality.Core.html
 
 
Relation.Binary.PropositionalEquality.Properties.html
Relation.Binary.PropositionalEquality.Properties.html
 
 
Relation.Binary.PropositionalEquality.html
Relation.Binary.PropositionalEquality.html
 
 
Relation.Binary.Reasoning.Base.Double.html
Relation.Binary.Reasoning.Base.Double.html
 
 
Relation.Binary.Reasoning.Base.Single.html
Relation.Binary.Reasoning.Base.Single.html
 
 
Relation.Binary.Reasoning.Base.Triple.html
Relation.Binary.Reasoning.Base.Triple.html
 
 
Relation.Binary.Reasoning.Preorder.html
Relation.Binary.Reasoning.Preorder.html
 
 
Relation.Binary.Reasoning.Setoid.html
Relation.Binary.Reasoning.Setoid.html
 
 
Relation.Binary.Structures.html
Relation.Binary.Structures.html
 
 
Relation.Binary.html
Relation.Binary.html
 
 
Relation.Nullary.Decidable.Core.html
Relation.Nullary.Decidable.Core.html
 
 
Relation.Nullary.Decidable.html
Relation.Nullary.Decidable.html
 
 
Relation.Nullary.Indexed.html
Relation.Nullary.Indexed.html
 
 
Relation.Nullary.Negation.Core.html
Relation.Nullary.Negation.Core.html
 
 
Relation.Nullary.Negation.html
Relation.Nullary.Negation.html
 
 
Relation.Nullary.Product.html
Relation.Nullary.Product.html
 
 
Relation.Nullary.Reflects.html
Relation.Nullary.Reflects.html
 
 
Relation.Nullary.Sum.html
Relation.Nullary.Sum.html
 
 
Relation.Nullary.html
Relation.Nullary.html
 
 
Relation.Unary.Properties.html
Relation.Unary.Properties.html
 
 
Relation.Unary.html
Relation.Unary.html
 
 
Strict.html
Strict.html