Most pages don't have descriptions

[plt-amy]

We have 66 163 pages. Only 2 have a description field:

src/1Lab/Univalence/SIP.lagda.md
src/1Lab/Equiv/Biinv.lagda.md

Example description

Here's a to-do list:

• 1Lab.Counterexamples.IsIso - rendered
• 1Lab.Counterexamples.Russell - rendered
• 1Lab.Counterexamples.Sigma - rendered
• 1Lab.Equiv.Embedding - rendered
• 1Lab.Equiv.Fibrewise - rendered
• 1Lab.Equiv.FromPath - rendered
• 1Lab.Equiv.HalfAdjoint - rendered
• 1Lab.Equiv - rendered
• 1Lab.HIT.S1 - rendered
• 1Lab.HIT.Sinfty - rendered
• 1Lab.HIT.Sphere - rendered
• 1Lab.HIT.Suspension - rendered
• 1Lab.HIT.Torus - rendered
• 1Lab.HIT.Truncation - rendered
• 1Lab.HLevel - rendered
• 1Lab.HLevel.Retracts - rendered
• 1Lab.HLevel.Sets - rendered
• 1Lab.HLevel.Universe - rendered
• 1Lab.intro - rendered
• 1Lab.Path.Groupoid - rendered
• 1Lab.Path - rendered
• 1Lab.Type.Dec - rendered
• 1Lab.Type - rendered
• 1Lab.Type.Pi - rendered
• 1Lab.Type.Prop - rendered
• 1Lab.Type.Sigma - rendered
• 1Lab.Univalence - rendered
• Algebra.Group.Ab.Free - rendered
• Algebra.Group.Ab - rendered
• Algebra.Group.Cat.Base - rendered
• Algebra.Group.Cat.FinitelyComplete - rendered
• Algebra.Group.Cayley - rendered
• Algebra.Group.Free - rendered
• Algebra.Group.Homotopy.BAut - rendered
• Algebra.Group.Homotopy - rendered
• Algebra.Group - rendered
• Algebra.Group.Subgroup - rendered
• Algebra.Lattice - rendered
• Algebra.Magma - rendered
• Algebra.Magma.Unital.EckmannHilton - rendered
• Algebra.Magma.Unital - rendered
• Algebra.Monoid.Category - rendered
• Algebra.Monoid - rendered
• Algebra.Ring.Base - rendered
• Algebra.Semigroup - rendered
• Algebra.Semilattice - rendered
• Authors - rendered
• Cat.Abelian.Base - rendered
• Cat.Abelian.Images - rendered
• Cat.Abelian.Limits - rendered
• Cat.Base - rendered
• Cat.CartesianClosed.Base - rendered
• Cat.CartesianClosed.Locally - rendered
• Cat.Diagram.Coequaliser - rendered
• Cat.Diagram.Coequaliser.RegularEpi - rendered
• Cat.Diagram.Colimit.Base - rendered
• Cat.Diagram.Congruence - rendered
• Cat.Diagram.Coproduct.Indexed - rendered
• Cat.Diagram.Coproduct - rendered
• Cat.Diagram.Duals - rendered
• Cat.Diagram.Equaliser.Kernel - rendered
• Cat.Diagram.Equaliser - rendered
• Cat.Diagram.Equaliser.RegularMono - rendered
• Cat.Diagram.Idempotent - rendered
• Cat.Diagram.Image - rendered
• Cat.Diagram.Initial - rendered
• Cat.Diagram.Limit.Base - rendered
• Cat.Diagram.Limit.Equaliser - rendered
• Cat.Diagram.Limit.Finite - rendered
• Cat.Diagram.Limit.Product - rendered
• Cat.Diagram.Limit.Pullback - rendered
• Cat.Diagram.Monad - rendered
• Cat.Diagram.Monad.Limits - rendered
• Cat.Diagram.Product.Indexed - rendered
• Cat.Diagram.Product - rendered
• Cat.Diagram.Pullback - rendered
• Cat.Diagram.Pullback.Properties - rendered
• Cat.Diagram.Pushout - rendered
• Cat.Diagram.Sieve - rendered
• Cat.Diagram.Terminal - rendered
• Cat.Diagram.Zero - rendered
• Cat.Displayed.Base - rendered
• Cat.Displayed.Cartesian - rendered
• Cat.Displayed.Instances.Family - rendered
• Cat.Displayed.Instances.Slice - rendered
• Cat.Displayed.Total - rendered
• Cat.Functor.Adjoint.Compose - rendered
• Cat.Functor.Adjoint.Continuous - rendered
• Cat.Functor.Adjoint.Hom - rendered
• Cat.Functor.Adjoint - rendered
• Cat.Functor.Adjoint.Monadic - rendered
• Cat.Functor.Adjoint.Monad - rendered
• Cat.Functor.Adjoint.Reflective - rendered
• Cat.Functor.Base - rendered
• Cat.Functor.Bifunctor - rendered
• Cat.Functor.Conservative - rendered
• Cat.Functor.Equivalence.Complete - rendered
• Cat.Functor.Equivalence - rendered
• Cat.Functor.FullSubcategory - rendered
• Cat.Functor.Hom - rendered
• Cat.Functor.Kan - rendered
• Cat.Functor.Kan.Nerve - rendered
• Cat.Functor.Pullback - rendered
• Cat.Functor.Reasoning - rendered
• Cat.Functor.Slice - rendered
• Cat.Instances.Comma - rendered
• Cat.Instances.Comma.Univalent - rendered
• Cat.Instances.Delooping - rendered
• Cat.Instances.Discrete - rendered
• Cat.Instances.Elements - rendered
• Cat.Instances.FinSet - rendered
• Cat.Instances.Functor.Duality - rendered
• Cat.Instances.Functor - rendered
• Cat.Instances.Functor.Limits - rendered
• Cat.Instances.Karoubi - rendered
• Cat.Instances.Lift - rendered
• Cat.Instances.Product - rendered
• Cat.Instances.Sets.CartesianClosed - rendered
• Cat.Instances.Sets.Cocomplete - rendered
• Cat.Instances.Sets.Complete - rendered
• Cat.Instances.Sets.Congruences - rendered
• Cat.Instances.Sets - rendered
• Cat.Instances.Shape.Cospan - rendered
• Cat.Instances.Shape.Interval - rendered
• Cat.Instances.Shape.Join - rendered
• Cat.Instances.Shape.Parallel - rendered
• Cat.Instances.Shape.Terminal - rendered
• Cat.Instances.Slice - rendered
• Cat.Instances.Slice.Presheaf - rendered
• Cat.Instances.StrictCat.Cohesive - rendered
• Cat.Instances.StrictCat - rendered
• Cat.Morphism - rendered
• Cat.Reasoning - rendered
• Cat.Solver - rendered
• Cat.Thin.Completion - rendered
• Cat.Thin.Instances.Sub - rendered
• Cat.Thin - rendered
• Cat.Thin.Limits - rendered
• Cat.Univalent.Instances.Algebra - rendered
• Cat.Univalent - rendered
• Cat.Univalent.Rezk - rendered
• Data.Bool - rendered
• Data.Fin.Base - rendered
• Data.Fin.Closure - rendered
• Data.Fin - rendered
• Data.Fin.Properties - rendered
• Data.Int.Inductive - rendered
• Data.Int - rendered
• Data.List - rendered
• Data.Nat.Base - rendered
• Data.Nat - rendered
• Data.Nat.Properties - rendered
• Data.Power - rendered
• Data.Power.Lattice - rendered
• Data.Set.Coequaliser - rendered
• Data.Set.Truncation - rendered
• Data.Sum - rendered
• index - rendered
• Relation.Order - rendered
• Relation.Order.Lexicographic - rendered
• Topoi.Base - rendered
• Topoi.Classifying.Diaconescu - rendered
• Topoi.Reasoning - rendered