├── .gitignore ├── .gitmodules ├── BiSig.agda-lib ├── GNUmakefile ├── LICENSE ├── README.agda ├── README.md ├── docs ├── Agda.Builtin.Bool.html ├── Agda.Builtin.Char.Properties.html ├── Agda.Builtin.Char.html ├── Agda.Builtin.Equality.html ├── Agda.Builtin.FromNat.html ├── Agda.Builtin.List.html ├── Agda.Builtin.Maybe.html ├── Agda.Builtin.Nat.html ├── Agda.Builtin.Sigma.html ├── Agda.Builtin.Strict.html ├── Agda.Builtin.String.Properties.html ├── Agda.Builtin.String.html ├── Agda.Builtin.Unit.html ├── Agda.Primitive.html ├── Agda.css ├── Algebra.Bundles.Raw.html ├── Algebra.Bundles.html ├── Algebra.Consequences.Base.html ├── Algebra.Consequences.Propositional.html ├── Algebra.Consequences.Setoid.html ├── Algebra.Construct.LiftedChoice.html ├── Algebra.Construct.NaturalChoice.Base.html ├── Algebra.Construct.NaturalChoice.Max.html ├── Algebra.Construct.NaturalChoice.MaxOp.html ├── Algebra.Construct.NaturalChoice.Min.html ├── Algebra.Construct.NaturalChoice.MinMaxOp.html ├── Algebra.Construct.NaturalChoice.MinOp.html ├── Algebra.Core.html ├── Algebra.Definitions.RawMagma.html ├── Algebra.Definitions.RawMonoid.html ├── Algebra.Definitions.RawSemiring.html ├── Algebra.Definitions.html ├── Algebra.Lattice.Bundles.Raw.html ├── Algebra.Lattice.Bundles.html ├── Algebra.Lattice.Construct.NaturalChoice.MaxOp.html ├── Algebra.Lattice.Construct.NaturalChoice.MinMaxOp.html ├── Algebra.Lattice.Construct.NaturalChoice.MinOp.html ├── Algebra.Lattice.Properties.BooleanAlgebra.html ├── Algebra.Lattice.Properties.DistributiveLattice.html ├── Algebra.Lattice.Properties.Lattice.html ├── Algebra.Lattice.Properties.Semilattice.html ├── Algebra.Lattice.Structures.html ├── Algebra.Morphism.Definitions.html ├── Algebra.Morphism.Structures.html ├── Algebra.Morphism.html ├── Algebra.Properties.AbelianGroup.html ├── Algebra.Properties.CommutativeSemigroup.html ├── Algebra.Properties.Group.html ├── Algebra.Properties.Monoid.Mult.html ├── Algebra.Properties.Ring.html ├── Algebra.Properties.RingWithoutOne.html ├── Algebra.Properties.Semigroup.html ├── Algebra.Properties.Semiring.Exp.html ├── Algebra.Solver.Ring.AlmostCommutativeRing.html ├── Algebra.Solver.Ring.Lemmas.html ├── Algebra.Solver.Ring.Simple.html ├── Algebra.Solver.Ring.html ├── Algebra.Structures.Biased.html ├── Algebra.Structures.html ├── Algebra.html ├── Axiom.Extensionality.Propositional.html ├── Axiom.UniquenessOfIdentityProofs.html ├── Data.Bool.Base.html ├── Data.Bool.Properties.html ├── Data.Bool.html ├── Data.Char.Base.html ├── Data.Char.Properties.html ├── Data.Char.html ├── Data.Empty.Irrelevant.html ├── Data.Empty.Polymorphic.html ├── Data.Empty.html ├── Data.Fin.Base.html ├── Data.Fin.Literals.html ├── Data.Fin.Patterns.html ├── Data.Fin.Properties.html ├── Data.Fin.html ├── Data.Irrelevant.html ├── Data.List.Base.html ├── Data.List.Effectful.html ├── Data.List.Extrema.Core.html ├── Data.List.Extrema.html ├── Data.List.Fresh.Relation.Unary.All.html ├── Data.List.Fresh.Relation.Unary.Any.html ├── Data.List.Fresh.html ├── Data.List.Membership.DecPropositional.html ├── Data.List.Membership.DecSetoid.html ├── Data.List.Membership.Propositional.Properties.Core.html ├── Data.List.Membership.Propositional.Properties.html ├── Data.List.Membership.Propositional.html ├── Data.List.Membership.Setoid.Properties.html ├── Data.List.Membership.Setoid.html ├── Data.List.NonEmpty.Base.html ├── Data.List.Properties.html ├── Data.List.Relation.Binary.Equality.Propositional.html ├── Data.List.Relation.Binary.Equality.Setoid.html ├── Data.List.Relation.Binary.Lex.Core.html ├── Data.List.Relation.Binary.Lex.Strict.html ├── Data.List.Relation.Binary.Lex.html ├── Data.List.Relation.Binary.Pointwise.Base.html ├── Data.List.Relation.Binary.Pointwise.Properties.html ├── Data.List.Relation.Binary.Pointwise.html ├── Data.List.Relation.Binary.Subset.Propositional.html ├── Data.List.Relation.Binary.Subset.Setoid.html ├── Data.List.Relation.Unary.All.Properties.html ├── Data.List.Relation.Unary.All.html ├── Data.List.Relation.Unary.AllPairs.Core.html ├── Data.List.Relation.Unary.AllPairs.html ├── Data.List.Relation.Unary.Any.Properties.html ├── Data.List.Relation.Unary.Any.html ├── Data.List.Relation.Unary.Unique.Setoid.html ├── Data.List.html ├── Data.Maybe.Base.html ├── Data.Maybe.Relation.Unary.All.html ├── Data.Maybe.Relation.Unary.Any.html ├── Data.Maybe.html ├── Data.Nat.Base.html ├── Data.Nat.DivMod.Core.html ├── Data.Nat.DivMod.html ├── Data.Nat.Divisibility.Core.html ├── Data.Nat.Divisibility.html ├── Data.Nat.GeneralisedArithmetic.html ├── Data.Nat.Induction.html ├── Data.Nat.Literals.html ├── Data.Nat.Properties.html ├── Data.Nat.Solver.html ├── Data.Nat.html ├── Data.Parity.Base.html ├── Data.Product.Algebra.html ├── Data.Product.Base.html ├── Data.Product.Function.Dependent.Propositional.html ├── Data.Product.Function.NonDependent.Propositional.html ├── Data.Product.Function.NonDependent.Setoid.html ├── Data.Product.Nary.NonDependent.html ├── Data.Product.Properties.html ├── Data.Product.Relation.Binary.Pointwise.NonDependent.html ├── Data.Product.Relation.Unary.All.html ├── Data.Product.html ├── Data.Sign.Base.html ├── Data.String.Base.html ├── Data.String.Properties.html ├── Data.String.html ├── Data.Sum.Algebra.html ├── Data.Sum.Base.html ├── Data.Sum.Function.Propositional.html ├── Data.Sum.Function.Setoid.html ├── Data.Sum.Properties.html ├── Data.Sum.Relation.Binary.Pointwise.html ├── Data.Sum.html ├── Data.These.Base.html ├── Data.Unit.Base.html ├── Data.Unit.Polymorphic.Base.html ├── Data.Unit.Polymorphic.Properties.html ├── Data.Unit.Polymorphic.html ├── Data.Unit.Properties.html ├── Data.Unit.html ├── Data.Vec.Base.html ├── Data.Vec.Bounded.Base.html ├── Data.Vec.Functional.html ├── Data.Vec.Membership.Propositional.html ├── Data.Vec.Membership.Setoid.html ├── Data.Vec.N-ary.html ├── Data.Vec.Properties.html ├── Data.Vec.Relation.Binary.Equality.Cast.html ├── Data.Vec.Relation.Unary.Any.html ├── Data.Vec.html ├── Effect.Applicative.html ├── Effect.Choice.html ├── Effect.Empty.html ├── Effect.Functor.html ├── Effect.Monad.html ├── Example.Computational.html ├── Example.Outline.html ├── Example.PCF.html ├── Example.STLC.html ├── Example.Spine.html ├── Function.Base.html ├── Function.Bundles.html ├── Function.Consequences.Propositional.html ├── Function.Consequences.Setoid.html ├── Function.Consequences.html ├── Function.Construct.Composition.html ├── Function.Construct.Identity.html ├── Function.Construct.Symmetry.html ├── Function.Core.html ├── Function.Definitions.html ├── Function.Dependent.Bundles.html ├── Function.Indexed.Relation.Binary.Equality.html ├── Function.Metric.Bundles.html ├── Function.Metric.Core.html ├── Function.Metric.Definitions.html ├── Function.Metric.Nat.Bundles.html ├── Function.Metric.Nat.Core.html ├── Function.Metric.Nat.Definitions.html ├── Function.Metric.Nat.Structures.html ├── Function.Metric.Nat.html ├── Function.Metric.Structures.html ├── Function.Nary.NonDependent.Base.html ├── Function.Nary.NonDependent.html ├── Function.Properties.Bijection.html ├── Function.Properties.Inverse.HalfAdjointEquivalence.html ├── Function.Properties.Inverse.html ├── Function.Properties.RightInverse.html ├── Function.Properties.Surjection.html ├── Function.Related.Propositional.html ├── Function.Related.TypeIsomorphisms.html ├── Function.Strict.html ├── Function.Structures.Biased.html ├── Function.Structures.html ├── Function.html ├── Induction.WellFounded.html ├── Induction.html ├── Level.html ├── Prelude.Category.html ├── Prelude.DecEq.html ├── Prelude.Distinct.html ├── Prelude.Equivalence.html ├── Prelude.Level.html ├── Prelude.Logic.html ├── Prelude.html ├── README.html ├── Relation.Binary.Bundles.html ├── Relation.Binary.Consequences.html ├── Relation.Binary.Construct.Closure.Reflexive.Properties.html ├── Relation.Binary.Construct.Closure.Reflexive.html ├── Relation.Binary.Construct.Constant.Core.html ├── Relation.Binary.Construct.Flip.EqAndOrd.html ├── Relation.Binary.Construct.Intersection.html ├── Relation.Binary.Construct.NaturalOrder.Left.html ├── Relation.Binary.Construct.NonStrictToStrict.html ├── Relation.Binary.Construct.On.html ├── Relation.Binary.Construct.Subst.Equality.html ├── Relation.Binary.Core.html ├── Relation.Binary.Definitions.html ├── Relation.Binary.Indexed.Heterogeneous.Bundles.html ├── Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html ├── Relation.Binary.Indexed.Heterogeneous.Core.html ├── Relation.Binary.Indexed.Heterogeneous.Definitions.html ├── Relation.Binary.Indexed.Heterogeneous.Structures.html ├── Relation.Binary.Indexed.Heterogeneous.html ├── Relation.Binary.Lattice.Bundles.html ├── Relation.Binary.Lattice.Definitions.html ├── Relation.Binary.Lattice.Structures.html ├── Relation.Binary.Lattice.html ├── Relation.Binary.Morphism.Definitions.html ├── Relation.Binary.Morphism.Structures.html ├── Relation.Binary.Properties.DecTotalOrder.html ├── Relation.Binary.Properties.Poset.html ├── Relation.Binary.Properties.Preorder.html ├── Relation.Binary.Properties.Setoid.html ├── Relation.Binary.Properties.TotalOrder.html ├── Relation.Binary.PropositionalEquality.Algebra.html ├── Relation.Binary.PropositionalEquality.Core.html ├── Relation.Binary.PropositionalEquality.Properties.html ├── Relation.Binary.PropositionalEquality.html ├── Relation.Binary.Reasoning.Base.Double.html ├── Relation.Binary.Reasoning.Base.Single.html ├── Relation.Binary.Reasoning.Base.Triple.html ├── Relation.Binary.Reasoning.Preorder.html ├── Relation.Binary.Reasoning.Setoid.html ├── Relation.Binary.Reasoning.Syntax.html ├── Relation.Binary.Reflection.html ├── Relation.Binary.Structures.Biased.html ├── Relation.Binary.Structures.html ├── Relation.Binary.html ├── Relation.Nary.html ├── Relation.Nullary.Decidable.Core.html ├── Relation.Nullary.Decidable.html ├── Relation.Nullary.Indexed.html ├── Relation.Nullary.Negation.Core.html ├── Relation.Nullary.Negation.html ├── Relation.Nullary.Reflects.html ├── Relation.Nullary.html ├── Relation.Unary.Properties.html ├── Relation.Unary.html ├── Syntax.BiTyped.Functor.html ├── Syntax.BiTyped.Pre.Functor.html ├── Syntax.BiTyped.Pre.Generalised.Functor.html ├── Syntax.BiTyped.Pre.Generalised.Term.html ├── Syntax.BiTyped.Pre.Term.html ├── Syntax.BiTyped.Signature.html ├── Syntax.BiTyped.Term.html ├── Syntax.Context.Base.html ├── Syntax.Context.html ├── Syntax.Simple.Properties.html ├── Syntax.Simple.Signature.html ├── Syntax.Simple.Term.html ├── Syntax.Simple.Unif.html ├── Syntax.Simple.html ├── Syntax.Typed.Functor.html ├── Syntax.Typed.Raw.Functor.html ├── Syntax.Typed.Raw.Ordering.Functor.html ├── Syntax.Typed.Raw.Ordering.Term.html ├── Syntax.Typed.Raw.Term.html ├── Syntax.Typed.Raw.html ├── Syntax.Typed.Signature.html ├── Syntax.Typed.Term.html ├── Theory.Completeness.html ├── Theory.Erasure.html ├── Theory.ModeCorrectness.Decidability.html ├── Theory.ModeCorrectness.Functor.html ├── Theory.ModeCorrectness.Properties.html ├── Theory.ModeCorrectness.Signature.html ├── Theory.ModeCorrectness.Synthesis.html ├── Theory.ModeCorrectness.UniqueSynthesised.html ├── Theory.ModeDecoration.html ├── Theory.Pre.Annotatability.html ├── Theory.Pre.Term.html ├── Theory.Pre.TypingErasure.html ├── Theory.Soundness.html └── Theory.Trichotomy.html ├── src ├── Example │ ├── Computational.agda │ ├── Outline.agda │ ├── PCF.agda │ ├── STLC.agda │ └── Spine.agda ├── Prelude.agda ├── Prelude │ ├── Category.agda │ ├── DecEq.agda │ ├── Distinct.agda │ ├── Equivalence.agda │ ├── Level.agda │ └── Logic.agda ├── Syntax │ ├── BiTyped │ │ ├── Functor.agda │ │ ├── Pre │ │ │ ├── Functor.agda │ │ │ ├── Generalised │ │ │ │ ├── Functor.agda │ │ │ │ └── Term.agda │ │ │ └── Term.agda │ │ ├── Signature.agda │ │ └── Term.agda │ ├── Context.agda │ ├── Context │ │ └── Base.agda │ ├── Simple.agda │ ├── Simple │ │ ├── Properties.agda │ │ ├── Signature.agda │ │ ├── Term.agda │ │ └── Unif.agda │ └── Typed │ │ ├── Functor.agda │ │ ├── Raw.agda │ │ ├── Raw │ │ ├── Functor.agda │ │ ├── Ordering │ │ │ ├── Functor.agda │ │ │ └── Term.agda │ │ └── Term.agda │ │ ├── Signature.agda │ │ └── Term.agda └── Theory │ ├── Completeness.agda │ ├── Erasure.agda │ ├── ModeCorrectness │ ├── Decidability.agda │ ├── Functor.agda │ ├── Properties.agda │ ├── Signature.agda │ ├── Synthesis.agda │ └── UniqueSynthesised.agda │ ├── ModeDecoration.agda │ ├── Pre │ ├── Annotatability.agda │ ├── Term.agda │ └── TypingErasure.agda │ ├── Soundness.agda │ └── Trichotomy.agda └── tex ├── ESOP24 ├── .latexmkrc ├── BiSig.pdf ├── BiSig.tex ├── GNUmakefile ├── S1-intro.tex ├── S2-outline.tex ├── S3-defs.tex ├── S4-pre-synthesis.tex ├── S5-synthesis.tex ├── S6-example.tex ├── S7-formalisation.lhs ├── S7-formalisation.tex ├── S8-future.tex ├── agda-lhs2tex.lhs ├── agda-lhs2tex.sty ├── agda.fmt ├── appendix.tex ├── camera │ └── BiSig.pdf ├── llncs.cls ├── macros.tex ├── ref.bib ├── response.md ├── review.md ├── splncs04.bst ├── splncs04nat.bst ├── submitted │ └── BiSig.pdf └── type-notation.tex └── POPL24 ├── .latexmkrc ├── ACM-Reference-Format.bst ├── BiSig.pdf ├── BiSig.tex ├── GNUmakefile ├── acmart.cls ├── agda-lhs2tex.lhs ├── agda-lhs2tex.sty ├── agda.fmt ├── example.tex ├── macros.tex ├── ref.bib ├── response.md ├── review.md ├── sec1-intro.tex ├── sec2-outline.tex ├── sec3-defs.tex ├── sec4-pre-synthesis.tex ├── sec5-synthesis.tex ├── sec6-formalisation.lhs ├── sec6-formalisation.tex ├── sec7-future.tex ├── submitted └── popl24-paper104.pdf └── type-notation.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/.gitmodules -------------------------------------------------------------------------------- /BiSig.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/BiSig.agda-lib -------------------------------------------------------------------------------- /GNUmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/GNUmakefile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/LICENSE -------------------------------------------------------------------------------- /README.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/README.agda -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/README.md -------------------------------------------------------------------------------- /docs/Agda.Builtin.Bool.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Bool.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Char.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Char.Properties.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Char.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Char.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Equality.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Equality.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.FromNat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.FromNat.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.List.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.List.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Maybe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Maybe.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Nat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Nat.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Sigma.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Sigma.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Strict.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Strict.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.String.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.String.Properties.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.String.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.String.html -------------------------------------------------------------------------------- /docs/Agda.Builtin.Unit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Builtin.Unit.html -------------------------------------------------------------------------------- /docs/Agda.Primitive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.Primitive.html -------------------------------------------------------------------------------- /docs/Agda.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Agda.css -------------------------------------------------------------------------------- /docs/Algebra.Bundles.Raw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Bundles.Raw.html -------------------------------------------------------------------------------- /docs/Algebra.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Bundles.html -------------------------------------------------------------------------------- /docs/Algebra.Consequences.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Consequences.Base.html -------------------------------------------------------------------------------- /docs/Algebra.Consequences.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Consequences.Propositional.html -------------------------------------------------------------------------------- /docs/Algebra.Consequences.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Consequences.Setoid.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.LiftedChoice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.LiftedChoice.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.NaturalChoice.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.NaturalChoice.Base.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.NaturalChoice.Max.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.NaturalChoice.Max.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.NaturalChoice.MaxOp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.NaturalChoice.MaxOp.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.NaturalChoice.Min.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.NaturalChoice.Min.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.NaturalChoice.MinMaxOp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.NaturalChoice.MinMaxOp.html -------------------------------------------------------------------------------- /docs/Algebra.Construct.NaturalChoice.MinOp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Construct.NaturalChoice.MinOp.html -------------------------------------------------------------------------------- /docs/Algebra.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Core.html -------------------------------------------------------------------------------- /docs/Algebra.Definitions.RawMagma.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Definitions.RawMagma.html -------------------------------------------------------------------------------- /docs/Algebra.Definitions.RawMonoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Definitions.RawMonoid.html -------------------------------------------------------------------------------- /docs/Algebra.Definitions.RawSemiring.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Definitions.RawSemiring.html -------------------------------------------------------------------------------- /docs/Algebra.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Definitions.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Bundles.Raw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Bundles.Raw.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Bundles.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Construct.NaturalChoice.MaxOp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Construct.NaturalChoice.MaxOp.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Construct.NaturalChoice.MinMaxOp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Construct.NaturalChoice.MinMaxOp.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Construct.NaturalChoice.MinOp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Construct.NaturalChoice.MinOp.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Properties.BooleanAlgebra.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Properties.BooleanAlgebra.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Properties.DistributiveLattice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Properties.DistributiveLattice.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Properties.Lattice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Properties.Lattice.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Properties.Semilattice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Properties.Semilattice.html -------------------------------------------------------------------------------- /docs/Algebra.Lattice.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Lattice.Structures.html -------------------------------------------------------------------------------- /docs/Algebra.Morphism.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Morphism.Definitions.html -------------------------------------------------------------------------------- /docs/Algebra.Morphism.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Morphism.Structures.html -------------------------------------------------------------------------------- /docs/Algebra.Morphism.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Morphism.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.AbelianGroup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.AbelianGroup.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.CommutativeSemigroup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.CommutativeSemigroup.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.Group.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.Group.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.Monoid.Mult.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.Monoid.Mult.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.Ring.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.Ring.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.RingWithoutOne.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.RingWithoutOne.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.Semigroup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.Semigroup.html -------------------------------------------------------------------------------- /docs/Algebra.Properties.Semiring.Exp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Properties.Semiring.Exp.html -------------------------------------------------------------------------------- /docs/Algebra.Solver.Ring.AlmostCommutativeRing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Solver.Ring.AlmostCommutativeRing.html -------------------------------------------------------------------------------- /docs/Algebra.Solver.Ring.Lemmas.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Solver.Ring.Lemmas.html -------------------------------------------------------------------------------- /docs/Algebra.Solver.Ring.Simple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Solver.Ring.Simple.html -------------------------------------------------------------------------------- /docs/Algebra.Solver.Ring.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Solver.Ring.html -------------------------------------------------------------------------------- /docs/Algebra.Structures.Biased.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Structures.Biased.html -------------------------------------------------------------------------------- /docs/Algebra.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.Structures.html -------------------------------------------------------------------------------- /docs/Algebra.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Algebra.html -------------------------------------------------------------------------------- /docs/Axiom.Extensionality.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Axiom.Extensionality.Propositional.html -------------------------------------------------------------------------------- /docs/Axiom.UniquenessOfIdentityProofs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Axiom.UniquenessOfIdentityProofs.html -------------------------------------------------------------------------------- /docs/Data.Bool.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Bool.Base.html -------------------------------------------------------------------------------- /docs/Data.Bool.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Bool.Properties.html -------------------------------------------------------------------------------- /docs/Data.Bool.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Bool.html -------------------------------------------------------------------------------- /docs/Data.Char.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Char.Base.html -------------------------------------------------------------------------------- /docs/Data.Char.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Char.Properties.html -------------------------------------------------------------------------------- /docs/Data.Char.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Char.html -------------------------------------------------------------------------------- /docs/Data.Empty.Irrelevant.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Empty.Irrelevant.html -------------------------------------------------------------------------------- /docs/Data.Empty.Polymorphic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Empty.Polymorphic.html -------------------------------------------------------------------------------- /docs/Data.Empty.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Empty.html -------------------------------------------------------------------------------- /docs/Data.Fin.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Fin.Base.html -------------------------------------------------------------------------------- /docs/Data.Fin.Literals.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Fin.Literals.html -------------------------------------------------------------------------------- /docs/Data.Fin.Patterns.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Fin.Patterns.html -------------------------------------------------------------------------------- /docs/Data.Fin.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Fin.Properties.html -------------------------------------------------------------------------------- /docs/Data.Fin.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Fin.html -------------------------------------------------------------------------------- /docs/Data.Irrelevant.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Irrelevant.html -------------------------------------------------------------------------------- /docs/Data.List.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Base.html -------------------------------------------------------------------------------- /docs/Data.List.Effectful.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Effectful.html -------------------------------------------------------------------------------- /docs/Data.List.Extrema.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Extrema.Core.html -------------------------------------------------------------------------------- /docs/Data.List.Extrema.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Extrema.html -------------------------------------------------------------------------------- /docs/Data.List.Fresh.Relation.Unary.All.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Fresh.Relation.Unary.All.html -------------------------------------------------------------------------------- /docs/Data.List.Fresh.Relation.Unary.Any.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Fresh.Relation.Unary.Any.html -------------------------------------------------------------------------------- /docs/Data.List.Fresh.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Fresh.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.DecPropositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.DecPropositional.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.DecSetoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.DecSetoid.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.Propositional.Properties.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.Propositional.Properties.Core.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.Propositional.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.Propositional.Properties.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.Propositional.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.Setoid.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.Setoid.Properties.html -------------------------------------------------------------------------------- /docs/Data.List.Membership.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Membership.Setoid.html -------------------------------------------------------------------------------- /docs/Data.List.NonEmpty.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.NonEmpty.Base.html -------------------------------------------------------------------------------- /docs/Data.List.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Properties.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Equality.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Equality.Propositional.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Equality.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Equality.Setoid.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Lex.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Lex.Core.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Lex.Strict.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Lex.Strict.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Lex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Lex.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Pointwise.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Pointwise.Base.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Pointwise.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Pointwise.Properties.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Pointwise.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Pointwise.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Subset.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Subset.Propositional.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Binary.Subset.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Binary.Subset.Setoid.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.All.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.All.Properties.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.All.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.All.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.AllPairs.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.AllPairs.Core.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.AllPairs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.AllPairs.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.Any.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.Any.Properties.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.Any.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.Any.html -------------------------------------------------------------------------------- /docs/Data.List.Relation.Unary.Unique.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.Relation.Unary.Unique.Setoid.html -------------------------------------------------------------------------------- /docs/Data.List.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.List.html -------------------------------------------------------------------------------- /docs/Data.Maybe.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Maybe.Base.html -------------------------------------------------------------------------------- /docs/Data.Maybe.Relation.Unary.All.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Maybe.Relation.Unary.All.html -------------------------------------------------------------------------------- /docs/Data.Maybe.Relation.Unary.Any.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Maybe.Relation.Unary.Any.html -------------------------------------------------------------------------------- /docs/Data.Maybe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Maybe.html -------------------------------------------------------------------------------- /docs/Data.Nat.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Base.html -------------------------------------------------------------------------------- /docs/Data.Nat.DivMod.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.DivMod.Core.html -------------------------------------------------------------------------------- /docs/Data.Nat.DivMod.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.DivMod.html -------------------------------------------------------------------------------- /docs/Data.Nat.Divisibility.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Divisibility.Core.html -------------------------------------------------------------------------------- /docs/Data.Nat.Divisibility.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Divisibility.html -------------------------------------------------------------------------------- /docs/Data.Nat.GeneralisedArithmetic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.GeneralisedArithmetic.html -------------------------------------------------------------------------------- /docs/Data.Nat.Induction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Induction.html -------------------------------------------------------------------------------- /docs/Data.Nat.Literals.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Literals.html -------------------------------------------------------------------------------- /docs/Data.Nat.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Properties.html -------------------------------------------------------------------------------- /docs/Data.Nat.Solver.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.Solver.html -------------------------------------------------------------------------------- /docs/Data.Nat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Nat.html -------------------------------------------------------------------------------- /docs/Data.Parity.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Parity.Base.html -------------------------------------------------------------------------------- /docs/Data.Product.Algebra.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Algebra.html -------------------------------------------------------------------------------- /docs/Data.Product.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Base.html -------------------------------------------------------------------------------- /docs/Data.Product.Function.Dependent.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Function.Dependent.Propositional.html -------------------------------------------------------------------------------- /docs/Data.Product.Function.NonDependent.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Function.NonDependent.Propositional.html -------------------------------------------------------------------------------- /docs/Data.Product.Function.NonDependent.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Function.NonDependent.Setoid.html -------------------------------------------------------------------------------- /docs/Data.Product.Nary.NonDependent.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Nary.NonDependent.html -------------------------------------------------------------------------------- /docs/Data.Product.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Properties.html -------------------------------------------------------------------------------- /docs/Data.Product.Relation.Binary.Pointwise.NonDependent.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Relation.Binary.Pointwise.NonDependent.html -------------------------------------------------------------------------------- /docs/Data.Product.Relation.Unary.All.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.Relation.Unary.All.html -------------------------------------------------------------------------------- /docs/Data.Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Product.html -------------------------------------------------------------------------------- /docs/Data.Sign.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sign.Base.html -------------------------------------------------------------------------------- /docs/Data.String.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.String.Base.html -------------------------------------------------------------------------------- /docs/Data.String.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.String.Properties.html -------------------------------------------------------------------------------- /docs/Data.String.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.String.html -------------------------------------------------------------------------------- /docs/Data.Sum.Algebra.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.Algebra.html -------------------------------------------------------------------------------- /docs/Data.Sum.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.Base.html -------------------------------------------------------------------------------- /docs/Data.Sum.Function.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.Function.Propositional.html -------------------------------------------------------------------------------- /docs/Data.Sum.Function.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.Function.Setoid.html -------------------------------------------------------------------------------- /docs/Data.Sum.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.Properties.html -------------------------------------------------------------------------------- /docs/Data.Sum.Relation.Binary.Pointwise.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.Relation.Binary.Pointwise.html -------------------------------------------------------------------------------- /docs/Data.Sum.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Sum.html -------------------------------------------------------------------------------- /docs/Data.These.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.These.Base.html -------------------------------------------------------------------------------- /docs/Data.Unit.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Unit.Base.html -------------------------------------------------------------------------------- /docs/Data.Unit.Polymorphic.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Unit.Polymorphic.Base.html -------------------------------------------------------------------------------- /docs/Data.Unit.Polymorphic.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Unit.Polymorphic.Properties.html -------------------------------------------------------------------------------- /docs/Data.Unit.Polymorphic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Unit.Polymorphic.html -------------------------------------------------------------------------------- /docs/Data.Unit.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Unit.Properties.html -------------------------------------------------------------------------------- /docs/Data.Unit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Unit.html -------------------------------------------------------------------------------- /docs/Data.Vec.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Base.html -------------------------------------------------------------------------------- /docs/Data.Vec.Bounded.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Bounded.Base.html -------------------------------------------------------------------------------- /docs/Data.Vec.Functional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Functional.html -------------------------------------------------------------------------------- /docs/Data.Vec.Membership.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Membership.Propositional.html -------------------------------------------------------------------------------- /docs/Data.Vec.Membership.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Membership.Setoid.html -------------------------------------------------------------------------------- /docs/Data.Vec.N-ary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.N-ary.html -------------------------------------------------------------------------------- /docs/Data.Vec.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Properties.html -------------------------------------------------------------------------------- /docs/Data.Vec.Relation.Binary.Equality.Cast.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Relation.Binary.Equality.Cast.html -------------------------------------------------------------------------------- /docs/Data.Vec.Relation.Unary.Any.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.Relation.Unary.Any.html -------------------------------------------------------------------------------- /docs/Data.Vec.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Data.Vec.html -------------------------------------------------------------------------------- /docs/Effect.Applicative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Effect.Applicative.html -------------------------------------------------------------------------------- /docs/Effect.Choice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Effect.Choice.html -------------------------------------------------------------------------------- /docs/Effect.Empty.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Effect.Empty.html -------------------------------------------------------------------------------- /docs/Effect.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Effect.Functor.html -------------------------------------------------------------------------------- /docs/Effect.Monad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Effect.Monad.html -------------------------------------------------------------------------------- /docs/Example.Computational.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Example.Computational.html -------------------------------------------------------------------------------- /docs/Example.Outline.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Example.Outline.html -------------------------------------------------------------------------------- /docs/Example.PCF.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Example.PCF.html -------------------------------------------------------------------------------- /docs/Example.STLC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Example.STLC.html -------------------------------------------------------------------------------- /docs/Example.Spine.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Example.Spine.html -------------------------------------------------------------------------------- /docs/Function.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Base.html -------------------------------------------------------------------------------- /docs/Function.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Bundles.html -------------------------------------------------------------------------------- /docs/Function.Consequences.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Consequences.Propositional.html -------------------------------------------------------------------------------- /docs/Function.Consequences.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Consequences.Setoid.html -------------------------------------------------------------------------------- /docs/Function.Consequences.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Consequences.html -------------------------------------------------------------------------------- /docs/Function.Construct.Composition.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Construct.Composition.html -------------------------------------------------------------------------------- /docs/Function.Construct.Identity.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Construct.Identity.html -------------------------------------------------------------------------------- /docs/Function.Construct.Symmetry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Construct.Symmetry.html -------------------------------------------------------------------------------- /docs/Function.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Core.html -------------------------------------------------------------------------------- /docs/Function.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Definitions.html -------------------------------------------------------------------------------- /docs/Function.Dependent.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Dependent.Bundles.html -------------------------------------------------------------------------------- /docs/Function.Indexed.Relation.Binary.Equality.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Indexed.Relation.Binary.Equality.html -------------------------------------------------------------------------------- /docs/Function.Metric.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Bundles.html -------------------------------------------------------------------------------- /docs/Function.Metric.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Core.html -------------------------------------------------------------------------------- /docs/Function.Metric.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Definitions.html -------------------------------------------------------------------------------- /docs/Function.Metric.Nat.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Nat.Bundles.html -------------------------------------------------------------------------------- /docs/Function.Metric.Nat.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Nat.Core.html -------------------------------------------------------------------------------- /docs/Function.Metric.Nat.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Nat.Definitions.html -------------------------------------------------------------------------------- /docs/Function.Metric.Nat.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Nat.Structures.html -------------------------------------------------------------------------------- /docs/Function.Metric.Nat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Nat.html -------------------------------------------------------------------------------- /docs/Function.Metric.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Metric.Structures.html -------------------------------------------------------------------------------- /docs/Function.Nary.NonDependent.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Nary.NonDependent.Base.html -------------------------------------------------------------------------------- /docs/Function.Nary.NonDependent.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Nary.NonDependent.html -------------------------------------------------------------------------------- /docs/Function.Properties.Bijection.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Properties.Bijection.html -------------------------------------------------------------------------------- /docs/Function.Properties.Inverse.HalfAdjointEquivalence.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Properties.Inverse.HalfAdjointEquivalence.html -------------------------------------------------------------------------------- /docs/Function.Properties.Inverse.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Properties.Inverse.html -------------------------------------------------------------------------------- /docs/Function.Properties.RightInverse.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Properties.RightInverse.html -------------------------------------------------------------------------------- /docs/Function.Properties.Surjection.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Properties.Surjection.html -------------------------------------------------------------------------------- /docs/Function.Related.Propositional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Related.Propositional.html -------------------------------------------------------------------------------- /docs/Function.Related.TypeIsomorphisms.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Related.TypeIsomorphisms.html -------------------------------------------------------------------------------- /docs/Function.Strict.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Strict.html -------------------------------------------------------------------------------- /docs/Function.Structures.Biased.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Structures.Biased.html -------------------------------------------------------------------------------- /docs/Function.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.Structures.html -------------------------------------------------------------------------------- /docs/Function.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Function.html -------------------------------------------------------------------------------- /docs/Induction.WellFounded.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Induction.WellFounded.html -------------------------------------------------------------------------------- /docs/Induction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Induction.html -------------------------------------------------------------------------------- /docs/Level.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Level.html -------------------------------------------------------------------------------- /docs/Prelude.Category.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.Category.html -------------------------------------------------------------------------------- /docs/Prelude.DecEq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.DecEq.html -------------------------------------------------------------------------------- /docs/Prelude.Distinct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.Distinct.html -------------------------------------------------------------------------------- /docs/Prelude.Equivalence.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.Equivalence.html -------------------------------------------------------------------------------- /docs/Prelude.Level.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.Level.html -------------------------------------------------------------------------------- /docs/Prelude.Logic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.Logic.html -------------------------------------------------------------------------------- /docs/Prelude.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Prelude.html -------------------------------------------------------------------------------- /docs/README.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/README.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Bundles.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Consequences.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Consequences.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.Closure.Reflexive.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.Closure.Reflexive.Properties.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.Closure.Reflexive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.Closure.Reflexive.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.Constant.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.Constant.Core.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.Flip.EqAndOrd.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.Flip.EqAndOrd.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.Intersection.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.Intersection.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.NaturalOrder.Left.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.NaturalOrder.Left.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.NonStrictToStrict.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.NonStrictToStrict.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.On.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.On.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Construct.Subst.Equality.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Construct.Subst.Equality.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Core.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Definitions.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Indexed.Heterogeneous.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Indexed.Heterogeneous.Bundles.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Indexed.Heterogeneous.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Indexed.Heterogeneous.Core.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Indexed.Heterogeneous.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Indexed.Heterogeneous.Definitions.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Indexed.Heterogeneous.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Indexed.Heterogeneous.Structures.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Indexed.Heterogeneous.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Indexed.Heterogeneous.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Lattice.Bundles.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Lattice.Bundles.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Lattice.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Lattice.Definitions.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Lattice.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Lattice.Structures.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Lattice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Lattice.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Morphism.Definitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Morphism.Definitions.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Morphism.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Morphism.Structures.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Properties.DecTotalOrder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Properties.DecTotalOrder.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Properties.Poset.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Properties.Poset.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Properties.Preorder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Properties.Preorder.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Properties.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Properties.Setoid.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Properties.TotalOrder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Properties.TotalOrder.html -------------------------------------------------------------------------------- /docs/Relation.Binary.PropositionalEquality.Algebra.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.PropositionalEquality.Algebra.html -------------------------------------------------------------------------------- /docs/Relation.Binary.PropositionalEquality.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.PropositionalEquality.Core.html -------------------------------------------------------------------------------- /docs/Relation.Binary.PropositionalEquality.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.PropositionalEquality.Properties.html -------------------------------------------------------------------------------- /docs/Relation.Binary.PropositionalEquality.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.PropositionalEquality.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reasoning.Base.Double.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reasoning.Base.Double.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reasoning.Base.Single.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reasoning.Base.Single.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reasoning.Base.Triple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reasoning.Base.Triple.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reasoning.Preorder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reasoning.Preorder.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reasoning.Setoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reasoning.Setoid.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reasoning.Syntax.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reasoning.Syntax.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Reflection.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Reflection.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Structures.Biased.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Structures.Biased.html -------------------------------------------------------------------------------- /docs/Relation.Binary.Structures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.Structures.html -------------------------------------------------------------------------------- /docs/Relation.Binary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Binary.html -------------------------------------------------------------------------------- /docs/Relation.Nary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nary.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.Decidable.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.Decidable.Core.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.Decidable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.Decidable.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.Indexed.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.Indexed.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.Negation.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.Negation.Core.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.Negation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.Negation.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.Reflects.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.Reflects.html -------------------------------------------------------------------------------- /docs/Relation.Nullary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Nullary.html -------------------------------------------------------------------------------- /docs/Relation.Unary.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Unary.Properties.html -------------------------------------------------------------------------------- /docs/Relation.Unary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Relation.Unary.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Functor.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Pre.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Pre.Functor.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Pre.Generalised.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Pre.Generalised.Functor.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Pre.Generalised.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Pre.Generalised.Term.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Pre.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Pre.Term.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Signature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Signature.html -------------------------------------------------------------------------------- /docs/Syntax.BiTyped.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.BiTyped.Term.html -------------------------------------------------------------------------------- /docs/Syntax.Context.Base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Context.Base.html -------------------------------------------------------------------------------- /docs/Syntax.Context.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Context.html -------------------------------------------------------------------------------- /docs/Syntax.Simple.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Simple.Properties.html -------------------------------------------------------------------------------- /docs/Syntax.Simple.Signature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Simple.Signature.html -------------------------------------------------------------------------------- /docs/Syntax.Simple.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Simple.Term.html -------------------------------------------------------------------------------- /docs/Syntax.Simple.Unif.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Simple.Unif.html -------------------------------------------------------------------------------- /docs/Syntax.Simple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Simple.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Functor.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Raw.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Raw.Functor.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Raw.Ordering.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Raw.Ordering.Functor.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Raw.Ordering.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Raw.Ordering.Term.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Raw.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Raw.Term.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Raw.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Raw.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Signature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Signature.html -------------------------------------------------------------------------------- /docs/Syntax.Typed.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Syntax.Typed.Term.html -------------------------------------------------------------------------------- /docs/Theory.Completeness.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Completeness.html -------------------------------------------------------------------------------- /docs/Theory.Erasure.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Erasure.html -------------------------------------------------------------------------------- /docs/Theory.ModeCorrectness.Decidability.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeCorrectness.Decidability.html -------------------------------------------------------------------------------- /docs/Theory.ModeCorrectness.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeCorrectness.Functor.html -------------------------------------------------------------------------------- /docs/Theory.ModeCorrectness.Properties.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeCorrectness.Properties.html -------------------------------------------------------------------------------- /docs/Theory.ModeCorrectness.Signature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeCorrectness.Signature.html -------------------------------------------------------------------------------- /docs/Theory.ModeCorrectness.Synthesis.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeCorrectness.Synthesis.html -------------------------------------------------------------------------------- /docs/Theory.ModeCorrectness.UniqueSynthesised.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeCorrectness.UniqueSynthesised.html -------------------------------------------------------------------------------- /docs/Theory.ModeDecoration.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.ModeDecoration.html -------------------------------------------------------------------------------- /docs/Theory.Pre.Annotatability.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Pre.Annotatability.html -------------------------------------------------------------------------------- /docs/Theory.Pre.Term.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Pre.Term.html -------------------------------------------------------------------------------- /docs/Theory.Pre.TypingErasure.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Pre.TypingErasure.html -------------------------------------------------------------------------------- /docs/Theory.Soundness.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Soundness.html -------------------------------------------------------------------------------- /docs/Theory.Trichotomy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/docs/Theory.Trichotomy.html -------------------------------------------------------------------------------- /src/Example/Computational.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Example/Computational.agda -------------------------------------------------------------------------------- /src/Example/Outline.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Example/Outline.agda -------------------------------------------------------------------------------- /src/Example/PCF.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Example/PCF.agda -------------------------------------------------------------------------------- /src/Example/STLC.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Example/STLC.agda -------------------------------------------------------------------------------- /src/Example/Spine.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Example/Spine.agda -------------------------------------------------------------------------------- /src/Prelude.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude.agda -------------------------------------------------------------------------------- /src/Prelude/Category.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude/Category.agda -------------------------------------------------------------------------------- /src/Prelude/DecEq.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude/DecEq.agda -------------------------------------------------------------------------------- /src/Prelude/Distinct.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude/Distinct.agda -------------------------------------------------------------------------------- /src/Prelude/Equivalence.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude/Equivalence.agda -------------------------------------------------------------------------------- /src/Prelude/Level.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude/Level.agda -------------------------------------------------------------------------------- /src/Prelude/Logic.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Prelude/Logic.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Functor.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Pre/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Pre/Functor.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Pre/Generalised/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Pre/Generalised/Functor.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Pre/Generalised/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Pre/Generalised/Term.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Pre/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Pre/Term.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Signature.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Signature.agda -------------------------------------------------------------------------------- /src/Syntax/BiTyped/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/BiTyped/Term.agda -------------------------------------------------------------------------------- /src/Syntax/Context.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Context.agda -------------------------------------------------------------------------------- /src/Syntax/Context/Base.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Context/Base.agda -------------------------------------------------------------------------------- /src/Syntax/Simple.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Simple.agda -------------------------------------------------------------------------------- /src/Syntax/Simple/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Simple/Properties.agda -------------------------------------------------------------------------------- /src/Syntax/Simple/Signature.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Simple/Signature.agda -------------------------------------------------------------------------------- /src/Syntax/Simple/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Simple/Term.agda -------------------------------------------------------------------------------- /src/Syntax/Simple/Unif.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Simple/Unif.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Functor.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Raw.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Raw.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Raw/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Raw/Functor.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Raw/Ordering/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Raw/Ordering/Functor.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Raw/Ordering/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Raw/Ordering/Term.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Raw/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Raw/Term.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Signature.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Signature.agda -------------------------------------------------------------------------------- /src/Syntax/Typed/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Syntax/Typed/Term.agda -------------------------------------------------------------------------------- /src/Theory/Completeness.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Completeness.agda -------------------------------------------------------------------------------- /src/Theory/Erasure.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Erasure.agda -------------------------------------------------------------------------------- /src/Theory/ModeCorrectness/Decidability.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeCorrectness/Decidability.agda -------------------------------------------------------------------------------- /src/Theory/ModeCorrectness/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeCorrectness/Functor.agda -------------------------------------------------------------------------------- /src/Theory/ModeCorrectness/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeCorrectness/Properties.agda -------------------------------------------------------------------------------- /src/Theory/ModeCorrectness/Signature.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeCorrectness/Signature.agda -------------------------------------------------------------------------------- /src/Theory/ModeCorrectness/Synthesis.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeCorrectness/Synthesis.agda -------------------------------------------------------------------------------- /src/Theory/ModeCorrectness/UniqueSynthesised.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeCorrectness/UniqueSynthesised.agda -------------------------------------------------------------------------------- /src/Theory/ModeDecoration.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/ModeDecoration.agda -------------------------------------------------------------------------------- /src/Theory/Pre/Annotatability.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Pre/Annotatability.agda -------------------------------------------------------------------------------- /src/Theory/Pre/Term.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Pre/Term.agda -------------------------------------------------------------------------------- /src/Theory/Pre/TypingErasure.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Pre/TypingErasure.agda -------------------------------------------------------------------------------- /src/Theory/Soundness.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Soundness.agda -------------------------------------------------------------------------------- /src/Theory/Trichotomy.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/src/Theory/Trichotomy.agda -------------------------------------------------------------------------------- /tex/ESOP24/.latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/.latexmkrc -------------------------------------------------------------------------------- /tex/ESOP24/BiSig.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/BiSig.pdf -------------------------------------------------------------------------------- /tex/ESOP24/BiSig.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/BiSig.tex -------------------------------------------------------------------------------- /tex/ESOP24/GNUmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/GNUmakefile -------------------------------------------------------------------------------- /tex/ESOP24/S1-intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S1-intro.tex -------------------------------------------------------------------------------- /tex/ESOP24/S2-outline.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S2-outline.tex -------------------------------------------------------------------------------- /tex/ESOP24/S3-defs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S3-defs.tex -------------------------------------------------------------------------------- /tex/ESOP24/S4-pre-synthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S4-pre-synthesis.tex -------------------------------------------------------------------------------- /tex/ESOP24/S5-synthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S5-synthesis.tex -------------------------------------------------------------------------------- /tex/ESOP24/S6-example.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S6-example.tex -------------------------------------------------------------------------------- /tex/ESOP24/S7-formalisation.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S7-formalisation.lhs -------------------------------------------------------------------------------- /tex/ESOP24/S7-formalisation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S7-formalisation.tex -------------------------------------------------------------------------------- /tex/ESOP24/S8-future.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/S8-future.tex -------------------------------------------------------------------------------- /tex/ESOP24/agda-lhs2tex.lhs: -------------------------------------------------------------------------------- 1 | \let\Bbbk\relax 2 | %include agda.fmt 3 | -------------------------------------------------------------------------------- /tex/ESOP24/agda-lhs2tex.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/agda-lhs2tex.sty -------------------------------------------------------------------------------- /tex/ESOP24/agda.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/agda.fmt -------------------------------------------------------------------------------- /tex/ESOP24/appendix.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/appendix.tex -------------------------------------------------------------------------------- /tex/ESOP24/camera/BiSig.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/camera/BiSig.pdf -------------------------------------------------------------------------------- /tex/ESOP24/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/llncs.cls -------------------------------------------------------------------------------- /tex/ESOP24/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/macros.tex -------------------------------------------------------------------------------- /tex/ESOP24/ref.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/ref.bib -------------------------------------------------------------------------------- /tex/ESOP24/response.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/response.md -------------------------------------------------------------------------------- /tex/ESOP24/review.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/review.md -------------------------------------------------------------------------------- /tex/ESOP24/splncs04.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/splncs04.bst -------------------------------------------------------------------------------- /tex/ESOP24/splncs04nat.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/splncs04nat.bst -------------------------------------------------------------------------------- /tex/ESOP24/submitted/BiSig.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/submitted/BiSig.pdf -------------------------------------------------------------------------------- /tex/ESOP24/type-notation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/ESOP24/type-notation.tex -------------------------------------------------------------------------------- /tex/POPL24/.latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/.latexmkrc -------------------------------------------------------------------------------- /tex/POPL24/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /tex/POPL24/BiSig.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/BiSig.pdf -------------------------------------------------------------------------------- /tex/POPL24/BiSig.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/BiSig.tex -------------------------------------------------------------------------------- /tex/POPL24/GNUmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/GNUmakefile -------------------------------------------------------------------------------- /tex/POPL24/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/acmart.cls -------------------------------------------------------------------------------- /tex/POPL24/agda-lhs2tex.lhs: -------------------------------------------------------------------------------- 1 | \let\Bbbk\relax 2 | %include agda.fmt 3 | -------------------------------------------------------------------------------- /tex/POPL24/agda-lhs2tex.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/agda-lhs2tex.sty -------------------------------------------------------------------------------- /tex/POPL24/agda.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/agda.fmt -------------------------------------------------------------------------------- /tex/POPL24/example.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/example.tex -------------------------------------------------------------------------------- /tex/POPL24/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/macros.tex -------------------------------------------------------------------------------- /tex/POPL24/ref.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/ref.bib -------------------------------------------------------------------------------- /tex/POPL24/response.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/response.md -------------------------------------------------------------------------------- /tex/POPL24/review.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/review.md -------------------------------------------------------------------------------- /tex/POPL24/sec1-intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec1-intro.tex -------------------------------------------------------------------------------- /tex/POPL24/sec2-outline.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec2-outline.tex -------------------------------------------------------------------------------- /tex/POPL24/sec3-defs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec3-defs.tex -------------------------------------------------------------------------------- /tex/POPL24/sec4-pre-synthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec4-pre-synthesis.tex -------------------------------------------------------------------------------- /tex/POPL24/sec5-synthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec5-synthesis.tex -------------------------------------------------------------------------------- /tex/POPL24/sec6-formalisation.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec6-formalisation.lhs -------------------------------------------------------------------------------- /tex/POPL24/sec6-formalisation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec6-formalisation.tex -------------------------------------------------------------------------------- /tex/POPL24/sec7-future.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/sec7-future.tex -------------------------------------------------------------------------------- /tex/POPL24/submitted/popl24-paper104.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/submitted/popl24-paper104.pdf -------------------------------------------------------------------------------- /tex/POPL24/type-notation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/BiSig/HEAD/tex/POPL24/type-notation.tex --------------------------------------------------------------------------------