Index of /~nad/listings/parser-combinators

	Name	Last modified	Size	Description
	Parent Directory		-
	Data.Nat.Properties...>	2024-08-26 19:02	933K
	Data.List.Properties..>	2024-08-26 19:02	833K
	Data.Fin.Properties...>	2024-08-26 19:02	547K
	Data.List.Relation.B..>	2024-08-26 19:02	482K
	Data.List.Relation.U..>	2024-08-26 19:02	453K
	Data.List.Relation.U..>	2024-08-26 19:02	420K
	Data.List.Relation.B..>	2024-08-26 19:02	405K
	Data.Nat.DivMod.html	2024-08-26 19:02	356K
	Data.List.Relation.B..>	2024-08-26 19:02	322K
	Algebra.Solver.Ring...>	2024-08-26 19:02	294K
	Algebra.Lattice.Prop..>	2024-08-26 19:02	291K
	Algebra.Bundles.html	2024-08-26 19:02	278K
	Data.List.Relation.B..>	2024-08-26 19:02	257K
	TotalRecognisers.Lef..>	2024-08-26 19:02	247K
	TotalParserCombinato..>	2024-08-26 19:02	232K
	Algebra.Structures.html	2024-08-26 19:02	230K
	Data.List.Membership..>	2024-08-26 19:02	227K
	TotalParserCombinato..>	2024-08-26 19:02	226K
	Data.Nat.DivMod.Core..>	2024-08-26 19:02	224K
	Data.List.Base.html	2024-08-26 19:02	221K
	TotalParserCombinato..>	2024-08-26 19:02	221K
	Mixfix.Acyclic.Lib.html	2024-08-26 19:02	206K
	Algebra.Morphism.Str..>	2024-08-26 19:02	204K
	Data.List.Membership..>	2024-08-26 19:02	202K
	Data.Bool.Properties..>	2024-08-26 19:02	201K
	Mixfix.Cyclic.Lib.html	2024-08-26 19:02	187K
	TotalParserCombinato..>	2024-08-26 19:02	186K
	TotalRecognisers.Lef..>	2024-08-26 19:02	185K
	TotalRecognisers.Lef..>	2024-08-26 19:02	181K
	Algebra.Consequences..>	2024-08-26 19:02	179K
	Data.Nat.Divisibilit..>	2024-08-26 19:02	170K
	Data.Product.Functio..>	2024-08-26 19:02	161K
	Mixfix.Cyclic.Unique..>	2024-08-26 19:02	155K
	StructurallyRecursiv..>	2024-08-26 19:02	154K
	TotalParserCombinato..>	2024-08-26 19:02	153K
	Function.Related.Typ..>	2024-08-26 19:02	152K
	Data.Vec.Base.html	2024-08-26 19:02	150K
	Data.List.Effectful...>	2024-08-26 19:02	147K
	Data.List.NonEmpty.B..>	2024-08-26 19:02	142K
	TotalParserCombinato..>	2024-08-26 19:02	137K
	TotalParserCombinato..>	2024-08-26 19:02	134K
	Data.List.Extrema.html	2024-08-26 19:02	132K
	Relation.Binary.Hete..>	2024-08-26 19:02	130K
	StructurallyRecursiv..>	2024-08-26 19:02	129K
	Function.Bundles.html	2024-08-26 19:02	128K
	Data.List.Relation.B..>	2024-08-26 19:02	128K
	Function.Related.Pro..>	2024-08-26 19:02	120K
	Algebra.Definitions...>	2024-08-26 19:02	118K
	Function.Construct.C..>	2024-08-26 19:02	117K
	Data.List.Relation.B..>	2024-08-26 19:02	116K
	Data.Fin.Base.html	2024-08-26 19:02	114K
	Relation.Unary.Prope..>	2024-08-26 19:02	114K
	TotalParserCombinato..>	2024-08-26 19:02	114K
	Codata.Musical.Colis..>	2024-08-26 19:02	112K
	Algebra.Properties.C..>	2024-08-26 19:02	112K
	TotalParserCombinato..>	2024-08-26 19:02	112K
	Data.List.Relation.U..>	2024-08-26 19:02	110K
	Mixfix.Equivalence.html	2024-08-26 19:02	110K
	TotalParserCombinato..>	2024-08-26 19:02	109K
	Relation.Binary.Prop..>	2024-08-26 19:02	109K
	Algebra.Construct.Na..>	2024-08-26 19:02	108K
	TotalParserCombinato..>	2024-08-26 19:02	108K
	Data.List.Relation.B..>	2024-08-26 19:02	106K
	Data.Sum.Relation.Bi..>	2024-08-26 19:02	105K
	TotalRecognisers.Sim..>	2024-08-26 19:02	104K
	Data.List.Relation.B..>	2024-08-26 19:02	104K
	Data.Nat.Base.html	2024-08-26 19:02	101K
	Relation.Binary.Cons..>	2024-08-26 19:02	101K
	Relation.Binary.Defi..>	2024-08-26 19:02	98K
	Data.Product.Relatio..>	2024-08-26 19:02	97K
	Data.List.Relation.B..>	2024-08-26 19:02	96K
	Algebra.Solver.Ring...>	2024-08-26 19:02	96K
	TotalParserCombinato..>	2024-08-26 19:02	94K
	Induction.WellFounde..>	2024-08-26 19:02	94K
	StructurallyRecursiv..>	2024-08-26 19:02	93K
	Relation.Unary.html	2024-08-26 19:02	93K
	Data.Vec.N-ary.html	2024-08-26 19:02	92K
	Codata.Musical.Colis..>	2024-08-26 19:02	90K
	Relation.Binary.Reas..>	2024-08-26 19:02	90K
	Data.Product.Base.html	2024-08-26 19:02	87K
	Relation.Binary.Cons..>	2024-08-26 19:02	87K
	TotalParserCombinato..>	2024-08-26 19:02	86K
	Relation.Binary.Bund..>	2024-08-26 19:02	86K
	Data.List.NonEmpty.P..>	2024-08-26 19:02	84K
	Algebra.Construct.Li..>	2024-08-26 19:02	83K
	Mixfix.Acyclic.Show...>	2024-08-26 19:02	83K
	Data.Vec.Recursive.html	2024-08-26 19:02	81K
	Relation.Binary.Cons..>	2024-08-26 19:02	81K
	Relation.Binary.Cons..>	2024-08-26 19:02	80K
	Relation.Binary.Cons..>	2024-08-26 19:02	77K
	TotalParserCombinato..>	2024-08-26 19:02	77K
	Function.Base.html	2024-08-26 19:02	76K
	Relation.Binary.Cons..>	2024-08-26 19:02	73K
	Function.Construct.S..>	2024-08-26 19:02	72K
	TotalRecognisers.Lef..>	2024-08-26 19:02	71K
	Data.Sum.Function.Se..>	2024-08-26 19:02	71K
	Algebra.Properties.G..>	2024-08-26 19:02	70K
	Relation.Binary.Latt..>	2024-08-26 19:02	69K
	Relation.Binary.Cons..>	2024-08-26 19:02	68K
	Data.Nat.Generalised..>	2024-08-26 19:02	68K
	Data.Vec.Functional...>	2024-08-26 19:02	67K
	TotalRecognisers.Lef..>	2024-08-26 19:02	67K
	Relation.Nullary.Dec..>	2024-08-26 19:02	67K
	TotalParserCombinato..>	2024-08-26 19:02	67K
	Data.Digit.html	2024-08-26 19:02	66K
	Data.Vec.Bounded.Bas..>	2024-08-26 19:02	66K
	Mixfix.Cyclic.Show.html	2024-08-26 19:02	66K
	Algebra.Structures.B..>	2024-08-26 19:02	65K
	Relation.Binary.Stru..>	2024-08-26 19:02	64K
	Algebra.Bundles.Raw...>	2024-08-26 19:02	64K
	Relation.Binary.Latt..>	2024-08-26 19:02	62K
	Data.Char.Properties..>	2024-08-26 19:02	62K
	Data.List.Relation.B..>	2024-08-26 19:02	62K
	Data.Sum.Properties...>	2024-08-26 19:02	60K
	Data.List.Extrema.Co..>	2024-08-26 19:02	60K
	Data.Product.Functio..>	2024-08-26 19:02	59K
	Data.List.Relation.B..>	2024-08-26 19:02	59K
	TotalParserCombinato..>	2024-08-26 19:02	58K
	Data.Maybe.Propertie..>	2024-08-26 19:02	58K
	Data.Product.Propert..>	2024-08-26 19:02	57K
	Algebra.Construct.Na..>	2024-08-26 19:02	56K
	StructurallyRecursiv..>	2024-08-26 19:02	56K
	Relation.Binary.Reas..>	2024-08-26 19:02	54K
	Data.Maybe.Relation...>	2024-08-26 19:02	54K
	Function.Properties...>	2024-08-26 19:02	53K
	TotalParserCombinato..>	2024-08-26 19:02	53K
	TotalParserCombinato..>	2024-08-26 19:02	53K
	TotalRecognisers.Sim..>	2024-08-26 19:02	52K
	Data.Product.Algebra..>	2024-08-26 19:02	52K
	Mixfix.Cyclic.Exampl..>	2024-08-26 19:02	52K
	Algebra.Lattice.Bund..>	2024-08-26 19:02	51K
	Mixfix.Acyclic.Examp..>	2024-08-26 19:02	51K
	Relation.Binary.Prop..>	2024-08-26 19:02	50K
	Data.List.Relation.B..>	2024-08-26 19:02	50K
	TotalParserCombinato..>	2024-08-26 19:02	49K
	Relation.Binary.Cons..>	2024-08-26 19:02	49K
	TotalParserCombinato..>	2024-08-26 19:02	49K
	Data.Product.Functio..>	2024-08-26 19:02	49K
	StructurallyRecursiv..>	2024-08-26 19:02	49K
	Data.String.Base.html	2024-08-26 19:02	48K
	Algebra.Consequences..>	2024-08-26 19:02	48K
	Algebra.Morphism.html	2024-08-26 19:02	47K
	Function.Structures...>	2024-08-26 19:02	47K
	IO.Base.html	2024-08-26 19:02	47K
	Function.Properties...>	2024-08-26 19:02	46K
	Effect.Applicative.I..>	2024-08-26 19:02	46K
	Function.Construct.I..>	2024-08-26 19:02	45K
	Relation.Unary.Predi..>	2024-08-26 19:02	44K
	TotalParserCombinato..>	2024-08-26 19:02	44K
	Data.Sum.Function.Pr..>	2024-08-26 19:02	44K
	Algebra.Properties.R..>	2024-08-26 19:02	43K
	Algebra.Solver.Ring...>	2024-08-26 19:02	43K
	Relation.Nullary.Ref..>	2024-08-26 19:02	42K
	TotalParserCombinato..>	2024-08-26 19:02	42K
	Algebra.Lattice.Prop..>	2024-08-26 19:02	42K
	TotalParserCombinato..>	2024-08-26 19:02	41K
	Algebra.Lattice.Stru..>	2024-08-26 19:02	39K
	TotalRecognisers.Lef..>	2024-08-26 19:02	39K
	TotalParserCombinato..>	2024-08-26 19:02	39K
	Effect.Monad.State.I..>	2024-08-26 19:02	38K
	Data.List.Membership..>	2024-08-26 19:02	38K
	Algebra.Properties.S..>	2024-08-26 19:02	38K
	Data.List.Relation.U..>	2024-08-26 19:02	38K
	Relation.Binary.Morp..>	2024-08-26 19:02	38K
	Relation.Nullary.Neg..>	2024-08-26 19:02	38K
	StructurallyRecursiv..>	2024-08-26 19:02	38K
	Data.List.Relation.B..>	2024-08-26 19:02	38K
	TotalParserCombinato..>	2024-08-26 19:02	38K
	Relation.Binary.Refl..>	2024-08-26 19:02	37K
	Data.List.Relation.B..>	2024-08-26 19:02	37K
	Data.Maybe.Base.html	2024-08-26 19:02	37K
	Data.Nat.InfinitelyO..>	2024-08-26 19:02	37K
	Function.Metric.Bund..>	2024-08-26 19:02	37K
	Data.List.Relation.U..>	2024-08-26 19:02	36K
	Data.List.Relation.B..>	2024-08-26 19:02	36K
	Effect.Applicative.html	2024-08-26 19:02	36K
	Data.These.Base.html	2024-08-26 19:02	36K
	Data.String.Properti..>	2024-08-26 19:02	36K
	Relation.Binary.Prop..>	2024-08-26 19:02	35K
	Data.List.Relation.B..>	2024-08-26 19:02	35K
	Function.Metric.Defi..>	2024-08-26 19:02	35K
	Mixfix.Expr.html	2024-08-26 19:02	35K
	Function.Consequence..>	2024-08-26 19:02	35K
	Relation.Binary.Prop..>	2024-08-26 19:02	34K
	Relation.Nullary.Dec..>	2024-08-26 19:02	34K
	Effect.Monad.html	2024-08-26 19:02	34K
	TotalParserCombinato..>	2024-08-26 19:02	33K
	Data.Sum.Algebra.html	2024-08-26 19:02	32K
	Relation.Binary.Reas..>	2024-08-26 19:02	32K
	Algebra.Properties.M..>	2024-08-26 19:02	32K
	StructurallyRecursiv..>	2024-08-26 19:02	31K
	Data.Maybe.Relation...>	2024-08-26 19:02	31K
	Data.List.Relation.B..>	2024-08-26 19:02	31K
	Function.Structures...>	2024-08-26 19:02	31K
	Codata.Musical.Colis..>	2024-08-26 19:02	31K
	TotalRecognisers.Sim..>	2024-08-26 19:02	31K
	Mixfix.Acyclic.Gramm..>	2024-08-26 19:02	30K
	Mixfix.Cyclic.Gramma..>	2024-08-26 19:02	30K
	TotalParserCombinato..>	2024-08-26 19:02	30K
	Effect.Monad.Indexed..>	2024-08-26 19:02	29K
	Function.Metric.Nat...>	2024-08-26 19:02	28K
	Data.Product.html	2024-08-26 19:02	28K
	TotalParserCombinato..>	2024-08-26 19:02	27K
	Data.Unit.Polymorphi..>	2024-08-26 19:02	27K
	Data.Sum.Base.html	2024-08-26 19:02	26K
	TotalParserCombinato..>	2024-08-26 19:02	26K
	Function.Properties...>	2024-08-26 19:02	25K
	Data.Nat.Induction.html	2024-08-26 19:02	24K
	IO.html	2024-08-26 19:02	24K
	TotalParserCombinato..>	2024-08-26 19:02	24K
	Relation.Binary.Prop..>	2024-08-26 19:02	24K
	Agda.Builtin.Nat.html	2024-08-26 19:02	23K
	Relation.Binary.Cons..>	2024-08-26 19:02	23K
	Function.Properties...>	2024-08-26 19:02	23K
	Data.Nat.Show.html	2024-08-26 19:02	23K
	Data.List.NonEmpty.E..>	2024-08-26 19:02	23K
	Function.Consequence..>	2024-08-26 19:02	23K
	Relation.Binary.Inde..>	2024-08-26 19:02	22K
	Function.Metric.Stru..>	2024-08-26 19:02	22K
	Function.Definitions..>	2024-08-26 19:02	21K
	Data.Maybe.Effectful..>	2024-08-26 19:02	21K
	Algebra.Definitions...>	2024-08-26 19:02	21K
	Axiom.Extensionality..>	2024-08-26 19:02	21K
	Data.List.Relation.B..>	2024-08-26 19:02	21K
	Function.Properties...>	2024-08-26 19:02	21K
	Algebra.Properties.L..>	2024-08-26 19:02	21K
	Relation.Nullary.Neg..>	2024-08-26 19:02	20K
	TotalParserCombinato..>	2024-08-26 19:02	20K
	Codata.Musical.Conat..>	2024-08-26 19:02	20K
	Codata.Musical.Colis..>	2024-08-26 19:02	20K
	TotalParserCombinato..>	2024-08-26 19:02	20K
	Data.List.Membership..>	2024-08-26 19:02	20K
	Axiom.UniquenessOfId..>	2024-08-26 19:02	20K
	Data.DifferenceList...>	2024-08-26 19:02	20K
	TotalParserCombinato..>	2024-08-26 19:02	20K
	Relation.Binary.Core..>	2024-08-26 19:02	19K
	Function.Properties...>	2024-08-26 19:02	19K
	Data.Parity.Base.html	2024-08-26 19:02	19K
	Mixfix.Fixity.html	2024-08-26 19:02	18K
	Relation.Nullary.Rec..>	2024-08-26 19:02	18K
	Algebra.Lattice.Cons..>	2024-08-26 19:02	18K
	Data.String.html	2024-08-26 19:02	18K
	Function.Metric.Nat...>	2024-08-26 19:02	18K
	Algebra.Construct.Na..>	2024-08-26 19:02	18K
	Algebra.Definitions...>	2024-08-26 19:02	18K
	Data.Unit.Properties..>	2024-08-26 19:02	18K
	Relation.Binary.Prop..>	2024-08-26 19:02	17K
	Function.Metric.Nat...>	2024-08-26 19:02	17K
	Algebra.Construct.Na..>	2024-08-26 19:02	17K
	Algebra.Properties.Q..>	2024-08-26 19:02	17K
	StructurallyRecursiv..>	2024-08-26 19:02	17K
	Relation.Binary.Inde..>	2024-08-26 19:02	16K
	Relation.Binary.Prop..>	2024-08-26 19:02	16K
	Data.Nat.Divisibilit..>	2024-08-26 19:02	16K
	Data.Sum.Relation.Un..>	2024-08-26 19:02	15K
	Function.Strict.html	2024-08-26 19:02	15K
	TotalRecognisers.Lef..>	2024-08-26 19:02	15K
	Relation.Binary.Cons..>	2024-08-26 19:02	15K
	Algebra.Properties.C..>	2024-08-26 19:02	15K
	Data.Vec.Bounded.html	2024-08-26 19:02	14K
	Induction.html	2024-08-26 19:02	14K
	Relation.Binary.Reas..>	2024-08-26 19:02	14K
	Relation.Binary.Inde..>	2024-08-26 19:02	13K
	Data.List.Scans.Base..>	2024-08-26 19:02	13K
	Algebra.Construct.Na..>	2024-08-26 19:02	13K
	Mixfix.Acyclic.Lemma..>	2024-08-26 19:02	13K
	Algebra.Properties.A..>	2024-08-26 19:02	13K
	Effect.Functor.html	2024-08-26 19:02	13K
	Data.Bool.Base.html	2024-08-26 19:02	13K
	IO.Primitive.Infinit..>	2024-08-26 19:02	13K
	Relation.Binary.Inde..>	2024-08-26 19:02	13K
	TotalParserCombinato..>	2024-08-26 19:02	12K
	Relation.Binary.Latt..>	2024-08-26 19:02	12K
	Effect.Comonad.html	2024-08-26 19:02	12K
	Data.Sum.html	2024-08-26 19:02	12K
	Data.Vec.html	2024-08-26 19:02	12K
	TotalRecognisers.Sim..>	2024-08-26 19:02	12K
	Relation.Binary.Cons..>	2024-08-26 19:02	12K
	Data.Irrelevant.html	2024-08-26 19:02	12K
	Relation.Binary.Inde..>	2024-08-26 19:02	11K
	IO.Primitive.Handle...>	2024-08-26 19:02	11K
	Algebra.Lattice.Prop..>	2024-08-26 19:02	11K
	Codata.Musical.Colis..>	2024-08-26 19:02	11K
	Algebra.Definitions...>	2024-08-26 19:02	11K
	Algebra.Morphism.Def..>	2024-08-26 19:02	11K
	Axiom.Extensionality..>	2024-08-26 19:02	11K
	TotalParserCombinato..>	2024-08-26 19:02	11K
	Data.List.Relation.B..>	2024-08-26 19:02	11K
	Data.Char.Base.html	2024-08-26 19:02	11K
	IO.Primitive.Finite...>	2024-08-26 19:02	11K
	Function.Consequence..>	2024-08-26 19:02	11K
	Data.List.Reverse.html	2024-08-26 19:02	11K
	Relation.Binary.Prop..>	2024-08-26 19:02	10K
	Data.List.NonEmpty.R..>	2024-08-26 19:02	10K
	Codata.Musical.Colis..>	2024-08-26 19:02	10K
	Data.List.Relation.B..>	2024-08-26 19:02	10K
	Agda.Builtin.String...>	2024-08-26 19:02	10K
	Relation.Binary.Inde..>	2024-08-26 19:02	9.8K
	Mixfix.Operator.html	2024-08-26 19:02	9.7K
	Relation.Binary.Stru..>	2024-08-26 19:02	9.5K
	Data.List.Membership..>	2024-08-26 19:02	9.4K
	Function.Dependent.B..>	2024-08-26 19:02	9.3K
	Data.Sign.Base.html	2024-08-26 19:02	8.9K
	Mixfix.Acyclic.Prece..>	2024-08-26 19:02	8.8K
	IO.Finite.html	2024-08-26 19:02	8.8K
	Codata.Musical.Conat..>	2024-08-26 19:02	8.5K
	Mixfix.Cyclic.Preced..>	2024-08-26 19:02	8.4K
	Mixfix.html	2024-08-26 19:02	8.3K
	Function.Indexed.Rel..>	2024-08-26 19:02	8.2K
	Algebra.Consequences..>	2024-08-26 19:02	8.2K
	Algebra.Properties.S..>	2024-08-26 19:02	8.2K
	IO.Infinite.html	2024-08-26 19:02	8.0K
	Data.Maybe.html	2024-08-26 19:02	8.0K
	Relation.Binary.Hete..>	2024-08-26 19:02	8.0K
	TotalParserCombinato..>	2024-08-26 19:02	7.8K
	Function.Identity.Ef..>	2024-08-26 19:02	7.8K
	Codata.Musical.Colis..>	2024-08-26 19:02	7.7K
	IO.Primitive.Core.html	2024-08-26 19:02	7.5K
	Codata.Musical.Colis..>	2024-08-26 19:02	7.5K
	Algebra.Construct.Na..>	2024-08-26 19:02	7.3K
	Relation.Binary.Reas..>	2024-08-26 19:02	7.2K
	Algebra.Lattice.Bund..>	2024-08-26 19:02	7.2K
	Data.Unit.NonEta.html	2024-08-26 19:02	7.1K
	Relation.Binary.Prop..>	2024-08-26 19:02	7.0K
	IO.Handle.html	2024-08-26 19:02	6.9K
	Data.List.Relation.B..>	2024-08-26 19:02	6.7K
	Algebra.Properties.R..>	2024-08-26 19:02	6.4K
	Relation.Binary.Morp..>	2024-08-26 19:02	6.3K
	Data.List.Relation.U..>	2024-08-26 19:02	6.3K
	Algebra.Lattice.Cons..>	2024-08-26 19:02	6.3K
	Relation.Nullary.html	2024-08-26 19:02	6.3K
	Data.List.Membership..>	2024-08-26 19:02	6.2K
	Algebra.Lattice.Prop..>	2024-08-26 19:02	6.0K
	Data.Nat.html	2024-08-26 19:02	5.9K
	Data.List.Relation.U..>	2024-08-26 19:02	5.7K
	Level.html	2024-08-26 19:02	5.6K
	Agda.Primitive.html	2024-08-26 19:02	5.4K
	Relation.Binary.Reas..>	2024-08-26 19:02	5.4K
	Data.Product.Relatio..>	2024-08-26 19:02	5.4K
	Function.Core.html	2024-08-26 19:02	5.0K
	Data.Empty.html	2024-08-26 19:02	5.0K
	TotalRecognisers.html	2024-08-26 19:02	5.0K
	Agda.Builtin.Strict...>	2024-08-26 19:02	4.8K
	Agda.Builtin.List.html	2024-08-26 19:02	4.7K
	Data.List.NonEmpty.html	2024-08-26 19:02	4.7K
	Algebra.Lattice.Cons..>	2024-08-26 19:02	4.5K
	Effect.Choice.html	2024-08-26 19:02	4.4K
	Data.List.Membership..>	2024-08-26 19:02	4.4K
	Data.Fin.Patterns.html	2024-08-26 19:02	4.3K
	Relation.Binary.Prop..>	2024-08-26 19:02	4.3K
	Algebra.Solver.Ring...>	2024-08-26 19:02	4.3K
	Agda.Builtin.Coinduc..>	2024-08-26 19:02	4.2K
	Data.Fin.html	2024-08-26 19:02	4.1K
	Agda.Builtin.Char.html	2024-08-26 19:02	4.0K
	Data.Empty.Polymorph..>	2024-08-26 19:02	3.8K
	Relation.Binary.Cons..>	2024-08-26 19:02	3.8K
	Relation.Binary.Reas..>	2024-08-26 19:02	3.7K
	Codata.Musical.Costr..>	2024-08-26 19:02	3.6K
	Data.Bool.Show.html	2024-08-26 19:02	3.5K
	Effect.Empty.html	2024-08-26 19:02	3.4K
	Agda.Builtin.Sigma.html	2024-08-26 19:02	3.4K
	Algebra.Core.html	2024-08-26 19:02	3.3K
	Data.Unit.Polymorphi..>	2024-08-26 19:02	3.3K
	Agda.Builtin.String...>	2024-08-26 19:02	3.2K
	StructurallyRecursiv..>	2024-08-26 19:02	3.2K
	Relation.Nullary.Ind..>	2024-08-26 19:02	3.2K
	Agda.Builtin.Bool.html	2024-08-26 19:02	3.1K
	TotalParserCombinato..>	2024-08-26 19:02	3.0K
	Function.Metric.Core..>	2024-08-26 19:02	2.8K
	Data.List.Relation.B..>	2024-08-26 19:02	2.8K
	Function.Metric.Nat...>	2024-08-26 19:02	2.6K
	Axiom.UniquenessOfId..>	2024-08-26 19:02	2.6K
	Agda.Builtin.Equalit..>	2024-08-26 19:02	2.6K
	Data.Nat.Solver.html	2024-08-26 19:02	2.4K
	Agda.Builtin.IO.html	2024-08-26 19:02	2.4K
	Agda.Builtin.Equalit..>	2024-08-26 19:02	2.3K
	Data.List.html	2024-08-26 19:02	2.3K
	Agda.Builtin.Maybe.html	2024-08-26 19:02	2.3K
	Function.html	2024-08-26 19:02	2.2K
	Relation.Binary.html	2024-08-26 19:02	2.1K
	Relation.Binary.Inde..>	2024-08-26 19:02	2.1K
	Data.Bool.html	2024-08-26 19:02	2.1K
	Agda.Builtin.Char.Pr..>	2024-08-26 19:02	2.1K
	Data.Char.html	2024-08-26 19:02	2.1K
	Algebra.html	2024-08-26 19:02	1.9K
	Data.Unit.Base.html	2024-08-26 19:02	1.9K
	Data.Unit.Polymorphi..>	2024-08-26 19:02	1.9K
	Agda.css	2024-08-26 19:02	1.8K
	Data.Unit.html	2024-08-26 19:02	1.8K
	Function.Metric.Nat...>	2024-08-26 19:02	1.8K
	Relation.Binary.Latt..>	2024-08-26 19:02	1.7K
	Agda.Builtin.Unit.html	2024-08-26 19:02	1.7K
	Codata.Musical.Notat..>	2024-08-26 19:02	1.1K