/usr/
|
|
root:root
|
0o755
|
|
/usr/share/
|
|
root:root
|
0o755
|
|
/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.5 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.FunctionProperties.Core.html
|
text/html
|
root:root
|
0o644
|
6.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html
|
text/html
|
root:root
|
0o644
|
59.8 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.Monoid-solver.html
|
text/html
|
root:root
|
0o644
|
81.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html
|
text/html
|
root:root
|
0o644
|
39.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html
|
text/html
|
root:root
|
0o644
|
107.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.AbelianGroup.html
|
text/html
|
root:root
|
0o644
|
34.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html
|
text/html
|
root:root
|
0o644
|
153.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html
|
text/html
|
root:root
|
0o644
|
509.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html
|
text/html
|
root:root
|
0o644
|
58.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Group.html
|
text/html
|
root:root
|
0o644
|
58.9 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.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html
|
text/html
|
root:root
|
0o644
|
64.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html
|
text/html
|
root:root
|
0o644
|
491.9 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
|
210.1 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.Continuation.html
|
text/html
|
root:root
|
0o644
|
43.2 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.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.All.html
|
text/html
|
root:root
|
0o644
|
146.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html
|
text/html
|
root:root
|
0o644
|
729.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html
|
text/html
|
root:root
|
0o644
|
38.2 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
|
310.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html
|
text/html
|
root:root
|
0o644
|
39.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html
|
text/html
|
root:root
|
0o644
|
22.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html
|
text/html
|
root:root
|
0o644
|
209.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Base.html
|
text/html
|
root:root
|
0o644
|
24.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html
|
text/html
|
root:root
|
0o644
|
4.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html
|
text/html
|
root:root
|
0o644
|
150.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html
|
text/html
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html
|
text/html
|
root:root
|
0o644
|
39.1 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.Base.html
|
text/html
|
root:root
|
0o644
|
7.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Core.html
|
text/html
|
root:root
|
0o644
|
2.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html
|
text/html
|
root:root
|
0o644
|
19.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.1 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.Any.html
|
text/html
|
root:root
|
0o644
|
247.8 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.html
|
text/html
|
root:root
|
0o644
|
173.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html
|
text/html
|
root:root
|
0o644
|
260.1 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
|
48.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html
|
text/html
|
root:root
|
0o644
|
281.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html
|
text/html
|
root:root
|
0o644
|
109.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html
|
text/html
|
root:root
|
0o644
|
38.8 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.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html
|
text/html
|
root:root
|
0o644
|
57.2 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.Dec.html
|
text/html
|
root:root
|
0o644
|
131.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html
|
text/html
|
root:root
|
0o644
|
124.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html
|
text/html
|
root:root
|
0o644
|
217.9 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.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html
|
text/html
|
root:root
|
0o644
|
71.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html
|
text/html
|
root:root
|
0o644
|
81.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html
|
text/html
|
root:root
|
0o644
|
494.6 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.Float.html
|
text/html
|
root:root
|
0o644
|
11.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html
|
text/html
|
root:root
|
0o644
|
191.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html
|
text/html
|
root:root
|
0o644
|
79.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Base.html
|
text/html
|
root:root
|
0o644
|
77.7 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.html
|
text/html
|
root:root
|
0o644
|
67.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html
|
text/html
|
root:root
|
0o644
|
71.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html
|
text/html
|
root:root
|
0o644
|
282.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html
|
text/html
|
root:root
|
0o644
|
47.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html
|
text/html
|
root:root
|
0o644
|
141.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html
|
text/html
|
root:root
|
0o644
|
255.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html
|
text/html
|
root:root
|
0o644
|
131.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html
|
text/html
|
root:root
|
0o644
|
254.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html
|
text/html
|
root:root
|
0o644
|
625.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Base.html
|
text/html
|
root:root
|
0o644
|
188.4 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.html
|
text/html
|
root:root
|
0o644
|
37.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html
|
text/html
|
root:root
|
0o644
|
227.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html
|
text/html
|
root:root
|
0o644
|
31.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html
|
text/html
|
root:root
|
0o644
|
545.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html
|
text/html
|
root:root
|
0o644
|
27.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Base.html
|
text/html
|
root:root
|
0o644
|
57.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html
|
text/html
|
root:root
|
0o644
|
68.9 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.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Base.html
|
text/html
|
root:root
|
0o644
|
107.2 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.Divisibility.html
|
text/html
|
root:root
|
0o644
|
129.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html
|
text/html
|
root:root
|
0o644
|
105.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html
|
text/html
|
root:root
|
0o644
|
122.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html
|
text/html
|
root:root
|
0o644
|
224.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html
|
text/html
|
root:root
|
0o644
|
34.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html
|
text/html
|
root:root
|
0o644
|
55.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html
|
text/html
|
root:root
|
0o644
|
87.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html
|
text/html
|
root:root
|
0o644
|
12.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html
|
text/html
|
root:root
|
0o644
|
405.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html
|
text/html
|
root:root
|
0o644
|
80.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html
|
text/html
|
root:root
|
0o644
|
11.3 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.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html
|
text/html
|
root:root
|
0o644
|
39.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html
|
text/html
|
root:root
|
0o644
|
111.7 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
|
11.2 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.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.html
|
text/html
|
root:root
|
0o644
|
98.3 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.9 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.Base.html
|
text/html
|
root:root
|
0o644
|
19.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.String.html
|
text/html
|
root:root
|
0o644
|
26.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html
|
text/html
|
root:root
|
0o644
|
38.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Base.html
|
text/html
|
root:root
|
0o644
|
3.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html
|
text/html
|
root:root
|
0o644
|
19.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.NonEta.html
|
text/html
|
root:root
|
0o644
|
12.0 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.html
|
text/html
|
root:root
|
0o644
|
203.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html
|
text/html
|
root:root
|
0o644
|
162.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html
|
text/html
|
root:root
|
0o644
|
354.2 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
|
73.4 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.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.0 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.html
|
text/html
|
root:root
|
0o644
|
69.8 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.6 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
|
380.8 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/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.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html
|
text/html
|
root:root
|
0o644
|
110.0 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/IO.html
|
text/html
|
root:root
|
0o644
|
57.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html
|
text/html
|
root:root
|
0o644
|
19.0 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.AVL.html
|
text/html
|
root:root
|
0o644
|
38.2 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.html
|
text/html
|
root:root
|
0o644
|
36.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html
|
text/html
|
root:root
|
0o644
|
25.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html
|
text/html
|
root:root
|
0o644
|
19.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Record.html
|
text/html
|
root:root
|
0o644
|
16.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Record.html
|
text/html
|
root:root
|
0o644
|
110.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Reflection.html
|
text/html
|
root:root
|
0o644
|
429.0 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.Consequences.html
|
text/html
|
root:root
|
0o644
|
90.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html
|
text/html
|
root:root
|
0o644
|
127.5 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.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.HeterogeneousEquality.html
|
text/html
|
root:root
|
0o644
|
185.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html
|
text/html
|
root:root
|
0o644
|
159.0 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.Indexed.html
|
text/html
|
root:root
|
0o644
|
15.4 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.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html
|
text/html
|
root:root
|
0o644
|
236.3 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
|
338.1 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.Core.html
|
text/html
|
root:root
|
0o644
|
17.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html
|
text/html
|
root:root
|
0o644
|
131.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html
|
text/html
|
root:root
|
0o644
|
10.9 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
|
366.1 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
|
66.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html
|
text/html
|
root:root
|
0o644
|
492.5 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.Decidable.html
|
text/html
|
root:root
|
0o644
|
66.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html
|
text/html
|
root:root
|
0o644
|
7.4 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
|
126.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html
|
text/html
|
root:root
|
0o644
|
9.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html
|
text/html
|
root:root
|
0o644
|
16.1 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
|
124.4 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
|
3.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Universe.html
|
text/html
|
root:root
|
0o644
|
11.5 KB
|