Index of /~nad/listings/pretty

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]Agda.css 2023-09-29 17:38 1.8K 
[TXT]Agda.Builtin.Equalit..>2023-09-29 17:38 2.6K 
[TXT]Agda.Primitive.html 2023-09-29 17:38 5.4K 
[TXT]Level.html 2023-09-29 17:38 5.6K 
[TXT]Agda.Builtin.Bool.html 2023-09-29 17:38 3.1K 
[TXT]Agda.Builtin.Unit.html 2023-09-29 17:38 1.7K 
[TXT]Data.Unit.Base.html 2023-09-29 17:38 1.9K 
[TXT]Function.Base.html 2023-09-29 17:38 75K 
[TXT]Data.Empty.html 2023-09-29 17:38 4.1K 
[TXT]Data.Irrelevant.html 2023-09-29 17:38 12K 
[TXT]Agda.Builtin.Sigma.html2023-09-29 17:38 3.4K 
[TXT]Data.Bool.Base.html 2023-09-29 17:38 13K 
[TXT]Data.Empty.Irrelevan..>2023-09-29 17:38 2.2K 
[TXT]Data.Sum.Base.html 2023-09-29 17:38 26K 
[TXT]Data.Product.Base.html 2023-09-29 17:38 87K 
[TXT]Relation.Nullary.Neg..>2023-09-29 17:38 21K 
[TXT]Relation.Nullary.Ref..>2023-09-29 17:38 34K 
[TXT]Relation.Nullary.Dec..>2023-09-29 17:38 56K 
[TXT]Agda.Builtin.Maybe.html2023-09-29 17:38 2.3K 
[TXT]Data.These.Base.html 2023-09-29 17:38 36K 
[TXT]Relation.Nullary.html 2023-09-29 17:38 6.5K 
[TXT]Data.Maybe.Base.html 2023-09-29 17:38 37K 
[TXT]Data.Sum.html 2023-09-29 17:38 17K 
[TXT]Data.Unit.Polymorphi..>2023-09-29 17:38 3.3K 
[TXT]Relation.Binary.Core..>2023-09-29 17:38 19K 
[TXT]Relation.Binary.Defi..>2023-09-29 17:38 91K 
[TXT]Relation.Binary.Inde..>2023-09-29 17:38 13K 
[TXT]Relation.Binary.Inde..>2023-09-29 17:38 10K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 45K 
[TXT]Relation.Binary.Inde..>2023-09-29 17:38 11K 
[TXT]Relation.Binary.Inde..>2023-09-29 17:38 13K 
[TXT]Relation.Binary.Inde..>2023-09-29 17:38 2.1K 
[TXT]Relation.Unary.html 2023-09-29 17:38 91K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 101K 
[TXT]Effect.Empty.html 2023-09-29 17:38 3.4K 
[TXT]Relation.Binary.Stru..>2023-09-29 17:38 62K 
[TXT]Effect.Choice.html 2023-09-29 17:38 4.4K 
[TXT]Effect.Functor.html 2023-09-29 17:38 13K 
[TXT]Effect.Applicative.html2023-09-29 17:38 36K 
[TXT]Effect.Monad.html 2023-09-29 17:38 32K 
[TXT]Relation.Nullary.Neg..>2023-09-29 17:38 38K 
[TXT]Relation.Binary.Bund..>2023-09-29 17:38 66K 
[TXT]Relation.Binary.html 2023-09-29 17:38 1.9K 
[TXT]Algebra.Core.html 2023-09-29 17:38 3.3K 
[TXT]Algebra.Definitions...>2023-09-29 17:38 118K 
[TXT]Relation.Binary.Reas..>2023-09-29 17:38 20K 
[TXT]Relation.Binary.Reas..>2023-09-29 17:38 7.4K 
[TXT]Algebra.Consequences..>2023-09-29 17:38 7.1K 
[TXT]Function.Definitions..>2023-09-29 17:38 21K 
[TXT]Algebra.Consequences..>2023-09-29 17:38 165K 
[TXT]Algebra.Structures.html2023-09-29 17:38 210K 
[TXT]Algebra.Structures.B..>2023-09-29 17:38 64K 
[TXT]Algebra.Bundles.Raw...>2023-09-29 17:38 54K 
[TXT]Algebra.Bundles.html 2023-09-29 17:38 255K 
[TXT]Algebra.html 2023-09-29 17:38 1.9K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 18K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 104K 
[TXT]Relation.Binary.Inde..>2023-09-29 17:38 15K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 5.5K 
[TXT]Function.Consequence..>2023-09-29 17:38 34K 
[TXT]Function.Equality.html 2023-09-29 17:38 40K 
[TXT]Function.Consequence..>2023-09-29 17:38 22K 
[TXT]Function.Structures...>2023-09-29 17:38 43K 
[TXT]Function.Bundles.html 2023-09-29 17:38 110K 
[TXT]Relation.Nullary.Dec..>2023-09-29 17:38 32K 
[TXT]Axiom.Extensionality..>2023-09-29 17:38 21K 
[TXT]Axiom.UniquenessOfId..>2023-09-29 17:38 23K 
[TXT]Data.Parity.Base.html 2023-09-29 17:38 19K 
[TXT]Data.Sign.Base.html 2023-09-29 17:38 8.9K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 53K 
[TXT]Agda.Builtin.Nat.html 2023-09-29 17:38 23K 
[TXT]Data.Nat.Base.html 2023-09-29 17:38 83K 
[TXT]Agda.Builtin.List.html 2023-09-29 17:38 4.7K 
[TXT]Data.Fin.Base.html 2023-09-29 17:38 117K 
[TXT]Data.List.Base.html 2023-09-29 17:38 194K 
[TXT]Data.List.html 2023-09-29 17:38 1.3K 
[TXT]Algebra.Lattice.Bund..>2023-09-29 17:38 7.2K 
[TXT]Algebra.Lattice.Stru..>2023-09-29 17:38 41K 
[TXT]Algebra.Lattice.Bund..>2023-09-29 17:38 51K 
[TXT]Function.Equivalence..>2023-09-29 17:38 40K 
[TXT]Induction.html 2023-09-29 17:38 17K 
[TXT]Induction.WellFounde..>2023-09-29 17:38 87K 
[TXT]Relation.Binary.Latt..>2023-09-29 17:38 12K 
[TXT]Relation.Binary.Latt..>2023-09-29 17:38 61K 
[TXT]Relation.Binary.Latt..>2023-09-29 17:38 68K 
[TXT]Relation.Binary.Latt..>2023-09-29 17:38 1.7K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 72K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 9.8K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 69K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 34K 
[TXT]Algebra.Lattice.Prop..>2023-09-29 17:38 11K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 77K 
[TXT]Algebra.Lattice.Prop..>2023-09-29 17:38 6.0K 
[TXT]Algebra.Lattice.Prop..>2023-09-29 17:38 42K 
[TXT]Algebra.Lattice.Prop..>2023-09-29 17:38 293K 
[TXT]Data.Bool.Properties..>2023-09-29 17:38 204K 
[TXT]Data.Bool.html 2023-09-29 17:38 2.9K 
[TXT]Agda.Builtin.Char.html 2023-09-29 17:38 4.0K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 3.8K 
[TXT]Agda.Builtin.String...>2023-09-29 17:38 10K 
[TXT]Data.Char.Base.html 2023-09-29 17:38 11K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 23K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 83K 
[TXT]Algebra.Construct.Na..>2023-09-29 17:38 17K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 17K 
[TXT]Algebra.Consequences..>2023-09-29 17:38 39K 
[TXT]Relation.Binary.Reas..>2023-09-29 17:38 45K 
[TXT]Relation.Binary.Reas..>2023-09-29 17:38 3.5K 
[TXT]Algebra.Construct.Na..>2023-09-29 17:38 109K 
[TXT]Algebra.Construct.Na..>2023-09-29 17:38 18K 
[TXT]Algebra.Lattice.Cons..>2023-09-29 17:38 6.3K 
[TXT]Algebra.Construct.Na..>2023-09-29 17:38 57K 
[TXT]Algebra.Lattice.Cons..>2023-09-29 17:38 4.5K 
[TXT]Algebra.Lattice.Cons..>2023-09-29 17:38 18K 
[TXT]Data.Unit.Properties..>2023-09-29 17:38 16K 
[TXT]Data.Unit.html 2023-09-29 17:38 1.7K 
[TXT]Algebra.Properties.G..>2023-09-29 17:38 52K 
[TXT]Relation.Binary.Reas..>2023-09-29 17:38 69K 
[TXT]Function.Core.html 2023-09-29 17:38 5.0K 
[TXT]Relation.Binary.Morp..>2023-09-29 17:38 6.3K 
[TXT]Algebra.Morphism.Def..>2023-09-29 17:38 11K 
[TXT]Relation.Binary.Morp..>2023-09-29 17:38 38K 
[TXT]Algebra.Morphism.Str..>2023-09-29 17:38 177K 
[TXT]Algebra.Morphism.html 2023-09-29 17:38 47K 
[TXT]Algebra.Properties.S..>2023-09-29 17:38 8.2K 
[TXT]Algebra.Properties.C..>2023-09-29 17:38 112K 
[TXT]Function.Metric.Core..>2023-09-29 17:38 2.8K 
[TXT]Function.Metric.Defi..>2023-09-29 17:38 35K 
[TXT]Function.Metric.Stru..>2023-09-29 17:38 22K 
[TXT]Function.Metric.Bund..>2023-09-29 17:38 37K 
[TXT]Function.Metric.Nat...>2023-09-29 17:38 2.6K 
[TXT]Function.Metric.Nat...>2023-09-29 17:38 17K 
[TXT]Function.Metric.Nat...>2023-09-29 17:38 18K 
[TXT]Function.Metric.Nat...>2023-09-29 17:38 28K 
[TXT]Function.Metric.Nat...>2023-09-29 17:38 1.8K 
[TXT]Data.Nat.Properties...>2023-09-29 17:38 908K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 10K 
[TXT]Agda.Builtin.Char.Pr..>2023-09-29 17:38 2.1K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 68K 
[TXT]Data.Char.Properties..>2023-09-29 17:38 59K 
[TXT]Agda.Builtin.Word.html 2023-09-29 17:38 2.0K 
[TXT]Data.Char.html 2023-09-29 17:38 2.1K 
[TXT]Data.Product.html 2023-09-29 17:38 9.0K 
[TXT]Grammar.Abstract.html 2023-09-29 17:38 39K 
[TXT]Agda.Builtin.Float.html2023-09-29 17:38 32K 
[TXT]Agda.Builtin.Int.html 2023-09-29 17:38 3.4K 
[TXT]Agda.Builtin.Reflect..>2023-09-29 17:38 3.3K 
[TXT]Agda.Builtin.Reflect..>2023-09-29 17:38 160K 
[TXT]Reflection.AST.Argum..>2023-09-29 17:38 14K 
[TXT]Reflection.AST.Argum..>2023-09-29 17:38 5.4K 
[TXT]Reflection.AST.Argum..>2023-09-29 17:38 5.5K 
[TXT]Reflection.AST.Argum..>2023-09-29 17:38 7.8K 
[TXT]Reflection.AST.Meta...>2023-09-29 17:38 8.1K 
[TXT]Reflection.AST.Argum..>2023-09-29 17:38 15K 
[TXT]Data.Sum.Properties...>2023-09-29 17:38 60K 
[TXT]Data.Product.Propert..>2023-09-29 17:38 55K 
[TXT]Data.Unit.Polymorphi..>2023-09-29 17:38 23K 
[TXT]Data.Unit.Polymorphi..>2023-09-29 17:38 1.9K 
[TXT]Function.Construct.I..>2023-09-29 17:38 45K 
[TXT]Function.Construct.C..>2023-09-29 17:38 115K 
[TXT]Function.Construct.S..>2023-09-29 17:38 72K 
[TXT]Data.Empty.Polymorph..>2023-09-29 17:38 3.8K 
[TXT]Function.Properties...>2023-09-29 17:38 28K 
[TXT]Data.Sum.Algebra.html 2023-09-29 17:38 30K 
[TXT]Algebra.Properties.A..>2023-09-29 17:38 12K 
[TXT]Data.Product.Algebra..>2023-09-29 17:38 52K 
[TXT]Algebra.Properties.R..>2023-09-29 17:38 41K 
[TXT]Algebra.Solver.Ring...>2023-09-29 17:38 43K 
[TXT]Algebra.Definitions...>2023-09-29 17:38 16K 
[TXT]Data.Vec.Base.html 2023-09-29 17:38 153K 
[TXT]Algebra.Definitions...>2023-09-29 17:38 11K 
[TXT]Data.Vec.Functional...>2023-09-29 17:38 69K 
[TXT]Algebra.Properties.M..>2023-09-29 17:38 30K 
[TXT]Data.Nat.html 2023-09-29 17:38 5.7K 
[TXT]Algebra.Definitions...>2023-09-29 17:38 21K 
[TXT]Algebra.Properties.S..>2023-09-29 17:38 38K 
[TXT]Data.Vec.N-ary.html 2023-09-29 17:38 92K 
[TXT]Relation.Binary.Refl..>2023-09-29 17:38 37K 
[TXT]Algebra.Solver.Ring...>2023-09-29 17:38 96K 
[TXT]Algebra.Solver.Ring...>2023-09-29 17:38 4.3K 
[TXT]Algebra.Solver.Ring...>2023-09-29 17:38 294K 
[TXT]Data.Fin.Patterns.html 2023-09-29 17:38 4.3K 
[TXT]Data.Nat.Solver.html 2023-09-29 17:38 2.4K 
[TXT]Relation.Unary.Prope..>2023-09-29 17:38 113K 
[TXT]Data.Fin.Properties...>2023-09-29 17:38 540K 
[TXT]Data.Nat.DivMod.Core..>2023-09-29 17:38 222K 
[TXT]Data.Nat.Divisibilit..>2023-09-29 17:38 15K 
[TXT]Data.Nat.Induction.html2023-09-29 17:38 25K 
[TXT]Data.Nat.DivMod.html 2023-09-29 17:38 363K 
[TXT]Data.Nat.Divisibilit..>2023-09-29 17:38 158K 
[TXT]Data.Product.Relatio..>2023-09-29 17:38 5.4K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 38K 
[TXT]Data.List.Membership..>2023-09-29 17:38 9.3K 
[TXT]Data.List.Membership..>2023-09-29 17:38 19K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 110K 
[TXT]Data.List.Properties..>2023-09-29 17:38 618K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 26K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 21K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 62K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 37K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 6.3K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 78K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 36K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 127K 
[TXT]Agda.Builtin.String...>2023-09-29 17:38 3.2K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 92K 
[TXT]Data.List.NonEmpty.B..>2023-09-29 17:38 139K 
[TXT]Data.String.Base.html 2023-09-29 17:38 45K 
[TXT]Agda.Builtin.Float.P..>2023-09-29 17:38 2.1K 
[TXT]Data.Float.Base.html 2023-09-29 17:38 13K 
[TXT]Data.String.Properti..>2023-09-29 17:38 33K 
[TXT]Data.Word.Base.html 2023-09-29 17:38 4.8K 
[TXT]Data.Maybe.Relation...>2023-09-29 17:38 31K 
[TXT]Data.Maybe.Relation...>2023-09-29 17:38 54K 
[TXT]Agda.Builtin.Word.Pr..>2023-09-29 17:38 2.1K 
[TXT]Data.Maybe.Propertie..>2023-09-29 17:38 55K 
[TXT]Data.Float.Propertie..>2023-09-29 17:38 19K 
[TXT]Data.Float.html 2023-09-29 17:38 1.7K 
[TXT]Data.Word.Properties..>2023-09-29 17:38 22K 
[TXT]Data.Word.html 2023-09-29 17:38 1.9K 
[TXT]Reflection.AST.Name...>2023-09-29 17:38 10K 
[TXT]Reflection.AST.Abstr..>2023-09-29 17:38 19K 
[TXT]Reflection.AST.Liter..>2023-09-29 17:38 52K 
[TXT]Reflection.AST.Argum..>2023-09-29 17:38 27K 
[TXT]Agda.Builtin.Strict...>2023-09-29 17:38 4.8K 
[TXT]Reflection.AST.Term...>2023-09-29 17:38 258K 
[TXT]Function.Strict.html 2023-09-29 17:38 15K 
[TXT]Function.Nary.NonDep..>2023-09-29 17:38 45K 
[TXT]Data.Product.Nary.No..>2023-09-29 17:38 122K 
[TXT]Data.Sum.Effectful.L..>2023-09-29 17:38 22K 
[TXT]Function.Nary.NonDep..>2023-09-29 17:38 30K 
[TXT]Text.Format.Generic...>2023-09-29 17:38 35K 
[TXT]Data.Integer.Base.html 2023-09-29 17:38 99K 
[TXT]Text.Format.html 2023-09-29 17:38 10K 
[TXT]Text.Printf.Generic...>2023-09-29 17:38 24K 
[TXT]Data.Digit.html 2023-09-29 17:38 43K 
[TXT]Data.Maybe.Effectful..>2023-09-29 17:38 20K 
[TXT]Data.Integer.Show.html 2023-09-29 17:38 4.4K 
[TXT]Data.List.Effectful...>2023-09-29 17:38 142K 
[TXT]Data.Nat.Show.html 2023-09-29 17:38 23K 
[TXT]Text.Printf.html 2023-09-29 17:38 8.2K 
[TXT]Reflection.TCM.Forma..>2023-09-29 17:38 25K 
[TXT]Reflection.TCM.Synta..>2023-09-29 17:38 14K 
[TXT]Reflection.TCM.html 2023-09-29 17:38 7.4K 
[TXT]Data.List.Membership..>2023-09-29 17:38 4.6K 
[TXT]Data.List.Membership..>2023-09-29 17:38 6.2K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 2.8K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 10K 
[TXT]Data.Maybe.html 2023-09-29 17:38 7.5K 
[TXT]Algebra.Construct.Li..>2023-09-29 17:38 83K 
[TXT]Algebra.Construct.Na..>2023-09-29 17:38 13K 
[TXT]Algebra.Construct.Na..>2023-09-29 17:38 7.3K 
[TXT]Data.List.Extrema.Co..>2023-09-29 17:38 60K 
[TXT]Function.Injection.html2023-09-29 17:38 23K 
[TXT]Function.LeftInverse..>2023-09-29 17:38 42K 
[TXT]Function.Bijection.html2023-09-29 17:38 33K 
[TXT]Function.Surjection...>2023-09-29 17:38 33K 
[TXT]Function.Inverse.html 2023-09-29 17:38 60K 
[TXT]Function.Properties...>2023-09-29 17:38 7.7K 
[TXT]Function.Properties...>2023-09-29 17:38 13K 
[TXT]Function.Properties...>2023-09-29 17:38 20K 
[TXT]Function.Related.Pro..>2023-09-29 17:38 126K 
[TXT]Function.Related.html 2023-09-29 17:38 163K 
[TXT]Data.Product.Relatio..>2023-09-29 17:38 113K 
[TXT]Data.Product.Functio..>2023-09-29 17:38 55K 
[TXT]Function.HalfAdjoint..>2023-09-29 17:38 46K 
[TXT]Relation.Nullary.Ind..>2023-09-29 17:38 3.2K 
[TXT]Data.Product.Functio..>2023-09-29 17:38 36K 
[TXT]Data.Sum.Relation.Bi..>2023-09-29 17:38 111K 
[TXT]Data.Sum.Function.Se..>2023-09-29 17:38 56K 
[TXT]Data.Sum.Function.Pr..>2023-09-29 17:38 34K 
[TXT]Function.Related.Typ..>2023-09-29 17:38 185K 
[TXT]Data.Product.Functio..>2023-09-29 17:38 159K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 5.7K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 48K 
[TXT]Data.List.Membership..>2023-09-29 17:38 36K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 452K 
[TXT]Data.List.Membership..>2023-09-29 17:38 227K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 15K 
[TXT]Data.List.Relation.B..>2023-09-29 17:38 6.3K 
[TXT]Data.List.Membership..>2023-09-29 17:38 202K 
[TXT]Data.List.Extrema.html 2023-09-29 17:38 132K 
[TXT]Data.String.html 2023-09-29 17:38 18K 
[TXT]Reflection.AST.Defin..>2023-09-29 17:38 48K 
[TXT]Reflection.AST.Patte..>2023-09-29 17:38 3.8K 
[TXT]Reflection.AST.Show...>2023-09-29 17:38 55K 
[TXT]Reflection.AST.html 2023-09-29 17:38 11K 
[TXT]Data.List.NonEmpty.html2023-09-29 17:38 4.7K 
[TXT]Tactic.MonoidSolver...>2023-09-29 17:38 71K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 60K 
[TXT]Function.html 2023-09-29 17:38 2.0K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 6.9K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 4.4K 
[TXT]Utilities.html 2023-09-29 17:38 20K 
[TXT]Agda.Builtin.Coinduc..>2023-09-29 17:38 4.2K 
[TXT]Agda.Builtin.Equalit..>2023-09-29 17:38 2.3K 
[TXT]Axiom.UniquenessOfId..>2023-09-29 17:38 2.6K 
[TXT]Codata.Musical.Notat..>2023-09-29 17:38 1.1K 
[TXT]Relation.Binary.Prop..>2023-09-29 17:38 4.1K 
[TXT]Algebra.Lattice.Stru..>2023-09-29 17:38 28K 
[TXT]Algebra.Lattice.html 2023-09-29 17:38 1.9K 
[TXT]Grammar.Infinite.Bas..>2023-09-29 17:38 242K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 31K 
[TXT]Codata.Musical.Conat..>2023-09-29 17:38 8.5K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 20K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 11K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 115K 
[TXT]Data.List.Relation.U..>2023-09-29 17:38 411K 
[TXT]Data.Vec.Bounded.Bas..>2023-09-29 17:38 68K 
[TXT]Data.Vec.html 2023-09-29 17:38 12K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 7.5K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 7.7K 
[TXT]Data.Vec.Bounded.html 2023-09-29 17:38 14K 
[TXT]Relation.Binary.Cons..>2023-09-29 17:38 13K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 10K 
[TXT]Codata.Musical.Conat..>2023-09-29 17:38 20K 
[TXT]Relation.Binary.Reas..>2023-09-29 17:38 6.5K 
[TXT]Codata.Musical.Colis..>2023-09-29 17:38 93K 
[TXT]Grammar.Infinite.html 2023-09-29 17:38 498K 
[TXT]Pretty.html 2023-09-29 17:38 146K 
[TXT]Data.Sign.Properties..>2023-09-29 17:38 43K 
[TXT]Data.Sign.html 2023-09-29 17:38 1.5K 
[TXT]Data.Integer.Propert..>2023-09-29 17:38 1.1M 
[TXT]Data.Integer.html 2023-09-29 17:38 6.5K 
[TXT]Examples.Identifier...>2023-09-29 17:38 17K 
[TXT]Renderer.html 2023-09-29 17:38 213K 
[TXT]Examples.Bool.html 2023-09-29 17:38 6.1K 
[TXT]Examples.Identifier-..>2023-09-29 17:38 13K 
[TXT]Examples.Expression...>2023-09-29 17:38 80K 
[TXT]Data.Fin.html 2023-09-29 17:38 4.5K 
[TXT]Data.Vec.Relation.Un..>2023-09-29 17:38 37K 
[TXT]Data.Vec.Membership...>2023-09-29 17:38 6.9K 
[TXT]Data.Vec.Membership...>2023-09-29 17:38 23K 
[TXT]Data.Vec.Membership...>2023-09-29 17:38 62K 
[TXT]Examples.Precedence...>2023-09-29 17:38 127K 
[TXT]Examples.XML.html 2023-09-29 17:38 46K 
[TXT]Examples.Tree.html 2023-09-29 17:38 29K 
[TXT]Grammar.Non-terminal..>2023-09-29 17:38 345K 

README
------------------------------------------------------------------------
-- Correct-by-construction pretty-printing
--
-- Nils Anders Danielsson
------------------------------------------------------------------------

-- A pretty-printing library that guarantees that pretty-printers are
-- correct (on the assumption that grammars are unambiguous).

{-# OPTIONS --guardedness #-}

module README where

-- Various utility functions.

import Utilities

-- Infinite grammars.

import Grammar.Infinite.Basic
import Grammar.Infinite

-- Pretty-printing (documents and document combinators).

import Pretty

-- Document renderers.

import Renderer

-- Examples.

import Examples.Bool
import Examples.Expression
import Examples.Identifier
import Examples.Identifier-list
import Examples.Precedence
import Examples.Tree
import Examples.XML

-- Abstract grammars. (Not used by the pretty-printer.)

import Grammar.Abstract

-- Grammars defined as functions from non-terminals to productions.
-- (Not used by the pretty-printer.)

import Grammar.Non-terminal

-- A README directed towards readers of the paper
-- "Correct-by-Construction Pretty-Printing".

import README.Correct-by-Construction-Pretty-Printing