/usr/share/doc/
|
|
root:root
|
0o755
|
|
/usr/share/doc/agda-stdlib-doc/
|
|
root:root
|
0o755
|
|
/usr/share/doc/agda-stdlib-doc/changelog.Debian.gz
|
application/gzip
|
root:root
|
0o644
|
1.8 KB
|
/usr/share/doc/agda-stdlib-doc/copyright
|
text/plain
|
root:root
|
0o644
|
1.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/
|
|
root:root
|
0o755
|
|
/usr/share/doc/agda-stdlib-doc/html/Agda.css
|
text/plain
|
root:root
|
0o644
|
1.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Primitive.html
|
text/html
|
root:root
|
0o644
|
7.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.html
|
text/html
|
root:root
|
0o644
|
154.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html
|
text/html
|
root:root
|
0o644
|
59.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Core.html
|
text/html
|
root:root
|
0o644
|
6.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Monoid-solver.html
|
text/html
|
root:root
|
0o644
|
81.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html
|
text/html
|
root:root
|
0o644
|
39.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html
|
text/html
|
root:root
|
0o644
|
107.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.AbelianGroup.html
|
text/html
|
root:root
|
0o644
|
34.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html
|
text/html
|
root:root
|
0o644
|
511.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html
|
text/html
|
root:root
|
0o644
|
153.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html
|
text/html
|
root:root
|
0o644
|
58.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Group.html
|
text/html
|
root:root
|
0o644
|
59.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Lattice.html
|
text/html
|
root:root
|
0o644
|
65.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Ring.html
|
text/html
|
root:root
|
0o644
|
44.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.AbelianGroup.html
|
text/html
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.DistributiveLattice.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Group.html
|
text/html
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Lattice.html
|
text/html
|
root:root
|
0o644
|
3.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Ring.html
|
text/html
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html
|
text/html
|
root:root
|
0o644
|
491.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html
|
text/html
|
root:root
|
0o644
|
64.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html
|
text/html
|
root:root
|
0o644
|
154.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Natural-coefficients.html
|
text/html
|
root:root
|
0o644
|
34.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Simple.html
|
text/html
|
root:root
|
0o644
|
5.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html
|
text/html
|
root:root
|
0o644
|
209.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.html
|
text/html
|
root:root
|
0o644
|
7.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html
|
text/html
|
root:root
|
0o644
|
59.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Predicate.html
|
text/html
|
root:root
|
0o644
|
27.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.html
|
text/html
|
root:root
|
0o644
|
8.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.Predicate.html
|
text/html
|
root:root
|
0o644
|
12.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.html
|
text/html
|
root:root
|
0o644
|
17.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Continuation.html
|
text/html
|
root:root
|
0o644
|
43.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Identity.html
|
text/html
|
root:root
|
0o644
|
6.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html
|
text/html
|
root:root
|
0o644
|
45.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html
|
text/html
|
root:root
|
0o644
|
728.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.All.html
|
text/html
|
root:root
|
0o644
|
146.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html
|
text/html
|
root:root
|
0o644
|
44.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html
|
text/html
|
root:root
|
0o644
|
82.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Coinduction.html
|
text/html
|
root:root
|
0o644
|
13.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html
|
text/html
|
root:root
|
0o644
|
323.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html
|
text/html
|
root:root
|
0o644
|
39.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html
|
text/html
|
root:root
|
0o644
|
22.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html
|
text/html
|
root:root
|
0o644
|
173.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html
|
text/html
|
root:root
|
0o644
|
24.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html
|
text/html
|
root:root
|
0o644
|
149.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html
|
text/html
|
root:root
|
0o644
|
3.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html
|
text/html
|
root:root
|
0o644
|
39.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html
|
text/html
|
root:root
|
0o644
|
19.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html
|
text/html
|
root:root
|
0o644
|
21.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html
|
text/html
|
root:root
|
0o644
|
18.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html
|
text/html
|
root:root
|
0o644
|
363.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.Infinite-merge.html
|
text/html
|
root:root
|
0o644
|
195.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Conat.html
|
text/html
|
root:root
|
0o644
|
24.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html
|
text/html
|
root:root
|
0o644
|
173.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html
|
text/html
|
root:root
|
0o644
|
247.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html
|
text/html
|
root:root
|
0o644
|
153.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.FreeMonad.html
|
text/html
|
root:root
|
0o644
|
28.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html
|
text/html
|
root:root
|
0o644
|
281.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html
|
text/html
|
root:root
|
0o644
|
260.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Core.html
|
text/html
|
root:root
|
0o644
|
29.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.FreeMonad.html
|
text/html
|
root:root
|
0o644
|
40.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html
|
text/html
|
root:root
|
0o644
|
109.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html
|
text/html
|
root:root
|
0o644
|
38.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html
|
text/html
|
root:root
|
0o644
|
11.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceVec.html
|
text/html
|
root:root
|
0o644
|
40.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html
|
text/html
|
root:root
|
0o644
|
57.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html
|
text/html
|
root:root
|
0o644
|
116.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html
|
text/html
|
root:root
|
0o644
|
131.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html
|
text/html
|
root:root
|
0o644
|
184.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Props.html
|
text/html
|
root:root
|
0o644
|
1.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html
|
text/html
|
root:root
|
0o644
|
39.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html
|
text/html
|
root:root
|
0o644
|
116.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html
|
text/html
|
root:root
|
0o644
|
1.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html
|
text/html
|
root:root
|
0o644
|
81.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html
|
text/html
|
root:root
|
0o644
|
71.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html
|
text/html
|
root:root
|
0o644
|
494.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html
|
text/html
|
root:root
|
0o644
|
21.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html
|
text/html
|
root:root
|
0o644
|
191.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.html
|
text/html
|
root:root
|
0o644
|
137.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html
|
text/html
|
root:root
|
0o644
|
79.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Divisibility.html
|
text/html
|
root:root
|
0o644
|
11.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html
|
text/html
|
root:root
|
0o644
|
70.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html
|
text/html
|
root:root
|
0o644
|
280.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.html
|
text/html
|
root:root
|
0o644
|
213.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html
|
text/html
|
root:root
|
0o644
|
46.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html
|
text/html
|
root:root
|
0o644
|
141.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html
|
text/html
|
root:root
|
0o644
|
131.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html
|
text/html
|
root:root
|
0o644
|
254.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html
|
text/html
|
root:root
|
0o644
|
253.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html
|
text/html
|
root:root
|
0o644
|
624.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html
|
text/html
|
root:root
|
0o644
|
197.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html
|
text/html
|
root:root
|
0o644
|
217.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html
|
text/html
|
root:root
|
0o644
|
31.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html
|
text/html
|
root:root
|
0o644
|
523.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html
|
text/html
|
root:root
|
0o644
|
27.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.M.html
|
text/html
|
root:root
|
0o644
|
13.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.M.Indexed.html
|
text/html
|
root:root
|
0o644
|
21.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html
|
text/html
|
root:root
|
0o644
|
119.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Core.html
|
text/html
|
root:root
|
0o644
|
5.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html
|
text/html
|
root:root
|
0o644
|
123.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html
|
text/html
|
root:root
|
0o644
|
115.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html
|
text/html
|
root:root
|
0o644
|
68.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html
|
text/html
|
root:root
|
0o644
|
128.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html
|
text/html
|
root:root
|
0o644
|
122.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html
|
text/html
|
root:root
|
0o644
|
223.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html
|
text/html
|
root:root
|
0o644
|
55.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html
|
text/html
|
root:root
|
0o644
|
86.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html
|
text/html
|
root:root
|
0o644
|
12.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html
|
text/html
|
root:root
|
0o644
|
388.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html
|
text/html
|
root:root
|
0o644
|
80.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html
|
text/html
|
root:root
|
0o644
|
11.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Plus.html
|
text/html
|
root:root
|
0o644
|
50.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html
|
text/html
|
root:root
|
0o644
|
94.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html
|
text/html
|
root:root
|
0o644
|
39.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html
|
text/html
|
root:root
|
0o644
|
111.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.ReflexiveClosure.html
|
text/html
|
root:root
|
0o644
|
25.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html
|
text/html
|
root:root
|
0o644
|
10.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.Properties.html
|
text/html
|
root:root
|
0o644
|
10.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.html
|
text/html
|
root:root
|
0o644
|
98.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html
|
text/html
|
root:root
|
0o644
|
25.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html
|
text/html
|
root:root
|
0o644
|
73.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Environment.html
|
text/html
|
root:root
|
0o644
|
17.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Fin.html
|
text/html
|
root:root
|
0o644
|
8.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.List.html
|
text/html
|
root:root
|
0o644
|
8.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Nat.html
|
text/html
|
root:root
|
0o644
|
17.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html
|
text/html
|
root:root
|
0o644
|
71.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html
|
text/html
|
root:root
|
0o644
|
98.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html
|
text/html
|
root:root
|
0o644
|
27.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Stream.html
|
text/html
|
root:root
|
0o644
|
100.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.String.html
|
text/html
|
root:root
|
0o644
|
38.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html
|
text/html
|
root:root
|
0o644
|
38.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html
|
text/html
|
root:root
|
0o644
|
21.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Core.html
|
text/html
|
root:root
|
0o644
|
12.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html
|
text/html
|
root:root
|
0o644
|
203.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Equality.html
|
text/html
|
root:root
|
0o644
|
68.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html
|
text/html
|
root:root
|
0o644
|
162.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html
|
text/html
|
root:root
|
0o644
|
354.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.W.html
|
text/html
|
root:root
|
0o644
|
17.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.W.Indexed.html
|
text/html
|
root:root
|
0o644
|
31.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Everything.html
|
text/html
|
root:root
|
0o644
|
77.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html
|
text/html
|
root:root
|
0o644
|
2.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.html
|
text/html
|
root:root
|
0o644
|
69.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html
|
text/html
|
root:root
|
0o644
|
39.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html
|
text/html
|
root:root
|
0o644
|
66.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html
|
text/html
|
root:root
|
0o644
|
65.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Injection.html
|
text/html
|
root:root
|
0o644
|
29.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html
|
text/html
|
root:root
|
0o644
|
90.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html
|
text/html
|
root:root
|
0o644
|
61.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html
|
text/html
|
root:root
|
0o644
|
207.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html
|
text/html
|
root:root
|
0o644
|
378.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html
|
text/html
|
root:root
|
0o644
|
45.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/IO.html
|
text/html
|
root:root
|
0o644
|
57.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html
|
text/html
|
root:root
|
0o644
|
18.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.html
|
text/html
|
root:root
|
0o644
|
31.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html
|
text/html
|
root:root
|
0o644
|
54.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html
|
text/html
|
root:root
|
0o644
|
109.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html
|
text/html
|
root:root
|
0o644
|
96.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Irrelevance.html
|
text/html
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Level.html
|
text/html
|
root:root
|
0o644
|
5.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.html
|
text/html
|
root:root
|
0o644
|
36.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html
|
text/html
|
root:root
|
0o644
|
37.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Case.html
|
text/html
|
root:root
|
0o644
|
12.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html
|
text/html
|
root:root
|
0o644
|
25.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html
|
text/html
|
root:root
|
0o644
|
19.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Record.html
|
text/html
|
root:root
|
0o644
|
19.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Record.html
|
text/html
|
root:root
|
0o644
|
146.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Reflection.html
|
text/html
|
root:root
|
0o644
|
231.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html
|
text/html
|
root:root
|
0o644
|
158.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html
|
text/html
|
root:root
|
0o644
|
87.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html
|
text/html
|
root:root
|
0o644
|
10.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html
|
text/html
|
root:root
|
0o644
|
131.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html
|
text/html
|
root:root
|
0o644
|
6.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html
|
text/html
|
root:root
|
0o644
|
148.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html
|
text/html
|
root:root
|
0o644
|
171.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html
|
text/html
|
root:root
|
0o644
|
9.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.html
|
text/html
|
root:root
|
0o644
|
15.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Core.html
|
text/html
|
root:root
|
0o644
|
40.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.InducedPreorders.html
|
text/html
|
root:root
|
0o644
|
20.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html
|
text/html
|
root:root
|
0o644
|
100.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html
|
text/html
|
root:root
|
0o644
|
171.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html
|
text/html
|
root:root
|
0o644
|
238.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html
|
text/html
|
root:root
|
0o644
|
63.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html
|
text/html
|
root:root
|
0o644
|
152.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.OrderMorphism.html
|
text/html
|
root:root
|
0o644
|
30.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PartialOrderReasoning.html
|
text/html
|
root:root
|
0o644
|
4.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PreorderReasoning.html
|
text/html
|
root:root
|
0o644
|
22.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html
|
text/html
|
root:root
|
0o644
|
121.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html
|
text/html
|
root:root
|
0o644
|
337.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html
|
text/html
|
root:root
|
0o644
|
225.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DecTotalOrder.html
|
text/html
|
root:root
|
0o644
|
9.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Poset.html
|
text/html
|
root:root
|
0o644
|
8.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Preorder.html
|
text/html
|
root:root
|
0o644
|
9.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictPartialOrder.html
|
text/html
|
root:root
|
0o644
|
9.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictTotalOrder.html
|
text/html
|
root:root
|
0o644
|
9.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.TotalOrder.html
|
text/html
|
root:root
|
0o644
|
7.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html
|
text/html
|
root:root
|
0o644
|
118.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html
|
text/html
|
root:root
|
0o644
|
17.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html
|
text/html
|
root:root
|
0o644
|
7.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.DecTotalOrder.html
|
text/html
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Poset.html
|
text/html
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Preorder.html
|
text/html
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictPartialOrder.html
|
text/html
|
root:root
|
0o644
|
3.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictTotalOrder.html
|
text/html
|
root:root
|
0o644
|
3.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.TotalOrder.html
|
text/html
|
root:root
|
0o644
|
3.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html
|
text/html
|
root:root
|
0o644
|
60.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SetoidReasoning.html
|
text/html
|
root:root
|
0o644
|
23.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html
|
text/html
|
root:root
|
0o644
|
365.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Simple.html
|
text/html
|
root:root
|
0o644
|
13.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictPartialOrderReasoning.html
|
text/html
|
root:root
|
0o644
|
5.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictToNonStrict.html
|
text/html
|
root:root
|
0o644
|
67.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html
|
text/html
|
root:root
|
0o644
|
492.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html
|
text/html
|
root:root
|
0o644
|
189.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html
|
text/html
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Core.html
|
text/html
|
root:root
|
0o644
|
7.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html
|
text/html
|
root:root
|
0o644
|
66.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Implication.html
|
text/html
|
root:root
|
0o644
|
9.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html
|
text/html
|
root:root
|
0o644
|
125.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html
|
text/html
|
root:root
|
0o644
|
9.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html
|
text/html
|
root:root
|
0o644
|
16.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html
|
text/html
|
root:root
|
0o644
|
110.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html
|
text/html
|
root:root
|
0o644
|
122.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.PredicateTransformer.html
|
text/html
|
root:root
|
0o644
|
78.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Size.html
|
text/html
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Universe.html
|
text/html
|
root:root
|
0o644
|
11.5 KB
|