Index of /~nad/listings/pretty

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[TXT]Data.Nat.html 08-Jun-2018 10:24 929  
[TXT]Data.List.html 08-Jun-2018 10:24 1.0K 
[TXT]Relation.Binary.List..>08-Jun-2018 10:24 1.1K 
[TXT]Relation.Binary.Sigm..>08-Jun-2018 10:24 1.2K 
[TXT]Relation.Binary.Prod..>08-Jun-2018 10:24 1.2K 
[TXT]Data.Char.Core.html 08-Jun-2018 10:24 1.2K 
[TXT]Agda.css 08-Jun-2018 10:24 1.2K 
[TXT]Agda.Builtin.Unit.html 08-Jun-2018 10:24 1.2K 
[TXT]Agda.Builtin.TrustMe..>08-Jun-2018 10:24 1.8K 
[TXT]Data.Empty.Irrelevan..>08-Jun-2018 10:24 1.9K 
[TXT]Data.Unit.Base.html 08-Jun-2018 10:24 1.9K 
[TXT]Data.Empty.html 08-Jun-2018 10:24 2.2K 
[TXT]Agda.Builtin.Equalit..>08-Jun-2018 10:24 2.3K 
[TXT]Agda.Builtin.Bool.html 08-Jun-2018 10:24 2.4K 
[TXT]Data.Bool.html 08-Jun-2018 10:24 2.5K 
[TXT]Relation.Binary.Part..>08-Jun-2018 10:24 2.6K 
[TXT]Agda.Builtin.Sigma.html08-Jun-2018 10:24 2.7K 
[TXT]Category.Functor.Ide..>08-Jun-2018 10:24 2.9K 
[TXT]Level.html 08-Jun-2018 10:24 3.0K 
[TXT]Agda.Builtin.Int.html 08-Jun-2018 10:24 3.1K 
[TXT]Relation.Binary.EqRe..>08-Jun-2018 10:24 3.2K 
[TXT]Category.Monad.Ident..>08-Jun-2018 10:24 3.3K 
[TXT]README.html 08-Jun-2018 10:24 3.3K 
[TXT]Algebra.RingSolver.S..>08-Jun-2018 10:24 3.3K 
[TXT]Algebra.FunctionProp..>08-Jun-2018 10:24 3.5K 
[TXT]Agda.Builtin.List.html 08-Jun-2018 10:24 3.6K 
[TXT]Data.Vec.Relation.Eq..>08-Jun-2018 10:24 3.6K 
[TXT]Agda.Builtin.Char.html 08-Jun-2018 10:24 3.7K 
[TXT]Data.List.Relation.E..>08-Jun-2018 10:24 3.7K 
[TXT]Agda.Builtin.Coinduc..>08-Jun-2018 10:24 3.7K 
[TXT]Agda.Primitive.html 08-Jun-2018 10:24 3.8K 
[TXT]Category.Applicative..>08-Jun-2018 10:24 3.9K 
[TXT]Coinduction.html 08-Jun-2018 10:24 4.5K 
[TXT]Agda.Builtin.Strict...>08-Jun-2018 10:24 4.5K 
[TXT]Relation.Binary.Prop..>08-Jun-2018 10:24 4.6K 
[TXT]Data.List.Relation.E..>08-Jun-2018 10:24 5.1K 
[TXT]Agda.Builtin.String...>08-Jun-2018 10:24 5.1K 
[TXT]Relation.Binary.Prop..>08-Jun-2018 10:24 5.3K 
[TXT]Data.List.Relation.E..>08-Jun-2018 10:24 5.3K 
[TXT]Relation.Nullary.Pro..>08-Jun-2018 10:24 5.3K 
[TXT]Relation.Binary.Prop..>08-Jun-2018 10:24 5.3K 
[TXT]Data.List.Membership..>08-Jun-2018 10:24 5.4K 
[TXT]README.Correct-by-Co..>08-Jun-2018 10:24 5.5K 
[TXT]Relation.Binary.Hete..>08-Jun-2018 10:24 5.8K 
[TXT]Examples.Bool.html 08-Jun-2018 10:24 5.9K 
[TXT]Data.Nat.Show.html 08-Jun-2018 10:24 6.3K 
[TXT]Data.Sign.html 08-Jun-2018 10:24 6.4K 
[TXT]Relation.Nullary.html 08-Jun-2018 10:24 6.5K 
[TXT]Data.Product.Propert..>08-Jun-2018 10:24 6.6K 
[TXT]Strict.html 08-Jun-2018 10:24 6.7K 
[TXT]Data.Unit.NonEta.html 08-Jun-2018 10:24 6.7K 
[TXT]Data.Sum.Properties...>08-Jun-2018 10:24 6.9K 
[TXT]Data.Vec.Relation.Eq..>08-Jun-2018 10:24 7.2K 
[TXT]Data.Char.Base.html 08-Jun-2018 10:24 8.1K 
[TXT]Relation.Binary.Inde..>08-Jun-2018 10:24 8.5K 
[TXT]Category.Monad.html 08-Jun-2018 10:24 9.2K 
[TXT]Category.Functor.html 08-Jun-2018 10:24 9.2K 
[TXT]Relation.Nullary.Sum..>08-Jun-2018 10:24 9.4K 
[TXT]Data.Vec.Categorical..>08-Jun-2018 10:24 9.6K 
[TXT]Relation.Binary.Prop..>08-Jun-2018 10:24 10K 
[TXT]Data.List.Relation.E..>08-Jun-2018 10:24 10K 
[TXT]Data.Vec.Relation.Eq..>08-Jun-2018 10:24 10K 
[TXT]Relation.Binary.Prop..>08-Jun-2018 10:24 10K 
[TXT]Data.Unit.html 08-Jun-2018 10:24 11K 
[TXT]Relation.Binary.Indu..>08-Jun-2018 10:24 11K 
[TXT]Data.BoundedVec.Inef..>08-Jun-2018 10:24 12K 
[TXT]Data.Bool.Base.html 08-Jun-2018 10:24 12K 
[TXT]Data.Char.html 08-Jun-2018 10:24 12K 
[TXT]Data.String.Base.html 08-Jun-2018 10:24 12K 
[TXT]Examples.Identifier-..>08-Jun-2018 10:24 13K 
[TXT]Agda.Primitive.Cubic..>08-Jun-2018 10:24 15K 
[TXT]Data.Sum.html 08-Jun-2018 10:24 15K 
[TXT]Data.String.html 08-Jun-2018 10:24 15K 
[TXT]Examples.Identifier...>08-Jun-2018 10:24 16K 
[TXT]Relation.Binary.Preo..>08-Jun-2018 10:24 17K 
[TXT]Function.Injection.html08-Jun-2018 10:24 17K 
[TXT]Induction.html 08-Jun-2018 10:24 17K 
[TXT]Data.List.Membership..>08-Jun-2018 10:24 17K 
[TXT]Agda.Builtin.Nat.html 08-Jun-2018 10:24 18K 
[TXT]Utilities.html 08-Jun-2018 10:24 20K 
[TXT]Data.Sum.Base.html 08-Jun-2018 10:24 20K 
[TXT]Algebra.RingSolver.N..>08-Jun-2018 10:24 21K 
[TXT]Algebra.Properties.A..>08-Jun-2018 10:24 22K 
[TXT]Data.Integer.html 08-Jun-2018 10:24 22K 
[TXT]Data.List.Any.html 08-Jun-2018 10:24 22K 
[TXT]Function.Bijection.html08-Jun-2018 10:24 23K 
[TXT]Data.Conat.html 08-Jun-2018 10:24 23K 
[TXT]Relation.Binary.Inde..>08-Jun-2018 10:24 23K 
[TXT]Data.Table.Base.html 08-Jun-2018 10:24 25K 
[TXT]Algebra.Properties.R..>08-Jun-2018 10:24 25K 
[TXT]Function.Surjection...>08-Jun-2018 10:24 26K 
[TXT]Category.Monad.Index..>08-Jun-2018 10:24 27K 
[TXT]Data.Fin.Subset.html 08-Jun-2018 10:24 28K 
[TXT]Data.Vec.Relation.Eq..>08-Jun-2018 10:24 28K 
[TXT]Examples.Tree.html 08-Jun-2018 10:24 28K 
[TXT]Algebra.Operations.S..>08-Jun-2018 10:24 28K 
[TXT]Algebra.Properties.D..>08-Jun-2018 10:24 34K 
[TXT]Algebra.Properties.G..>08-Jun-2018 10:24 34K 
[TXT]Data.Maybe.Base.html 08-Jun-2018 10:24 35K 
[TXT]Data.List.All.html 08-Jun-2018 10:24 35K 
[TXT]Relation.Unary.Prope..>08-Jun-2018 10:24 35K 
[TXT]Data.Digit.html 08-Jun-2018 10:24 35K 
[TXT]Relation.Binary.Refl..>08-Jun-2018 10:24 36K 
[TXT]Category.Applicative..>08-Jun-2018 10:24 36K 
[TXT]Function.LeftInverse..>08-Jun-2018 10:24 36K 
[TXT]Function.Equality.html 08-Jun-2018 10:24 37K 
[TXT]Data.Vec.All.html 08-Jun-2018 10:24 37K 
[TXT]Function.Equivalence..>08-Jun-2018 10:24 37K 
[TXT]Relation.Nullary.Dec..>08-Jun-2018 10:24 38K 
[TXT]Data.List.Membership..>08-Jun-2018 10:24 38K 
[TXT]Grammar.Abstract.html 08-Jun-2018 10:24 39K 
[TXT]Algebra.RingSolver.A..>08-Jun-2018 10:24 39K 
[TXT]Algebra.FunctionProp..>08-Jun-2018 10:24 44K 
[TXT]Algebra.Operations.C..>08-Jun-2018 10:24 44K 
[TXT]Algebra.Morphism.html 08-Jun-2018 10:24 45K 
[TXT]Data.Maybe.html 08-Jun-2018 10:24 45K 
[TXT]Examples.XML.html 08-Jun-2018 10:24 45K 
[TXT]Relation.Binary.Clos..>08-Jun-2018 10:24 47K 
[TXT]Function.html 08-Jun-2018 10:24 47K 
[TXT]Relation.Binary.NonS..>08-Jun-2018 10:24 47K 
[TXT]Relation.Binary.Stri..>08-Jun-2018 10:24 48K 
[TXT]Algebra.Monoid-solve..>08-Jun-2018 10:24 49K 
[TXT]Function.Inverse.html 08-Jun-2018 10:24 51K 
[TXT]Data.Integer.Base.html 08-Jun-2018 10:24 53K 
[TXT]Data.Nat.Base.html 08-Jun-2018 10:24 54K 
[TXT]Data.Nat.DivMod.html 08-Jun-2018 10:24 57K 
[TXT]Relation.Binary.Cons..>08-Jun-2018 10:24 60K 
[TXT]Induction.WellFounde..>08-Jun-2018 10:24 61K 
[TXT]Data.List.Relation.L..>08-Jun-2018 10:24 62K 
[TXT]Data.Product.html 08-Jun-2018 10:24 62K 
[TXT]Algebra.Properties.L..>08-Jun-2018 10:24 66K 
[TXT]Induction.Nat.html 08-Jun-2018 10:24 66K 
[TXT]Data.Sum.Relation.Co..>08-Jun-2018 10:24 67K 
[TXT]Relation.Nullary.Neg..>08-Jun-2018 10:24 70K 
[TXT]Relation.Binary.Latt..>08-Jun-2018 10:24 74K 
[TXT]Examples.Expression...>08-Jun-2018 10:24 79K 
[TXT]Relation.Binary.Core..>08-Jun-2018 10:24 81K 
[TXT]Data.Fin.Dec.html 08-Jun-2018 10:24 82K 
[TXT]Data.List.Relation.L..>08-Jun-2018 10:24 85K 
[TXT]Relation.Binary.On.html08-Jun-2018 10:24 85K 
[TXT]Relation.Binary.Prop..>08-Jun-2018 10:24 86K 
[TXT]Data.Fin.html 08-Jun-2018 10:24 87K 
[TXT]Relation.Unary.html 08-Jun-2018 10:24 88K 
[TXT]Data.Vec.N-ary.html 08-Jun-2018 10:24 92K 
[TXT]Algebra.RingSolver.L..>08-Jun-2018 10:24 94K 
[TXT]Algebra.Structures.html08-Jun-2018 10:24 95K 
[TXT]Algebra.Properties.B..>08-Jun-2018 10:24 95K 
[TXT]Relation.Binary.html 08-Jun-2018 10:24 97K 
[TXT]Data.List.Membership..>08-Jun-2018 10:24 99K 
[TXT]Algebra.html 08-Jun-2018 10:24 100K 
[TXT]Algebra.FunctionProp..>08-Jun-2018 10:24 103K 
[TXT]Data.Bool.Properties..>08-Jun-2018 10:24 112K 
[TXT]Data.Vec.Relation.Po..>08-Jun-2018 10:24 114K 
[TXT]Data.List.Categorica..>08-Jun-2018 10:24 116K 
[TXT]Data.List.Relation.P..>08-Jun-2018 10:24 120K 
[TXT]Function.Related.html 08-Jun-2018 10:24 123K 
[TXT]Examples.Precedence...>08-Jun-2018 10:24 127K 
[TXT]Data.Vec.html 08-Jun-2018 10:24 129K 
[TXT]Data.List.NonEmpty.html08-Jun-2018 10:24 136K 
[TXT]Data.Vec.Relation.Po..>08-Jun-2018 10:24 138K 
[TXT]Data.List.Base.html 08-Jun-2018 10:24 141K 
[TXT]Relation.Binary.Hete..>08-Jun-2018 10:24 145K 
[TXT]Pretty.html 08-Jun-2018 10:24 146K 
[TXT]Data.Sum.Relation.Po..>08-Jun-2018 10:24 153K 
[TXT]Data.Fin.Subset.Prop..>08-Jun-2018 10:24 155K 
[TXT]Data.List.Membership..>08-Jun-2018 10:24 158K 
[TXT]Data.Product.Relatio..>08-Jun-2018 10:24 182K 
[TXT]Data.Fin.Properties...>08-Jun-2018 10:24 190K 
[TXT]Data.Product.Relatio..>08-Jun-2018 10:24 204K 
[TXT]Renderer.html 08-Jun-2018 10:24 213K 
[TXT]Function.Related.Typ..>08-Jun-2018 10:24 218K 
[TXT]Data.Colist.html 08-Jun-2018 10:24 229K 
[TXT]Grammar.Infinite.Bas..>08-Jun-2018 10:24 240K 
[TXT]Algebra.RingSolver.html08-Jun-2018 10:24 291K 
[TXT]Algebra.Properties.B..>08-Jun-2018 10:24 296K 
[TXT]Data.List.Any.Proper..>08-Jun-2018 10:24 334K 
[TXT]Grammar.Non-terminal..>08-Jun-2018 10:24 344K 
[TXT]Data.List.Properties..>08-Jun-2018 10:24 346K 
[TXT]Data.Vec.Properties...>08-Jun-2018 10:24 404K 
[TXT]Grammar.Infinite.html 08-Jun-2018 10:24 494K 
[TXT]Data.Nat.Properties...>08-Jun-2018 10:24 510K 

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).

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