/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.6 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/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.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.html
|
text/html
|
root:root
|
0o644
|
154.4 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.Props.AbelianGroup.html
|
text/html
|
root:root
|
0o644
|
34.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.Expression.html
|
text/html
|
root:root
|
0o644
|
151.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.html
|
text/html
|
root:root
|
0o644
|
506.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.DistributiveLattice.html
|
text/html
|
root:root
|
0o644
|
57.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Group.html
|
text/html
|
root:root
|
0o644
|
58.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Lattice.html
|
text/html
|
root:root
|
0o644
|
64.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Ring.html
|
text/html
|
root:root
|
0o644
|
44.0 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.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html
|
text/html
|
root:root
|
0o644
|
154.3 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.4 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.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.html
|
text/html
|
root:root
|
0o644
|
8.0 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
|
16.9 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
|
35.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.All.html
|
text/html
|
root:root
|
0o644
|
146.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html
|
text/html
|
root:root
|
0o644
|
727.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html
|
text/html
|
root:root
|
0o644
|
82.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Coinduction.html
|
text/html
|
root:root
|
0o644
|
13.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html
|
text/html
|
root:root
|
0o644
|
322.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html
|
text/html
|
root:root
|
0o644
|
40.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html
|
text/html
|
root:root
|
0o644
|
23.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html
|
text/html
|
root:root
|
0o644
|
172.9 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
|
140.0 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
|
38.7 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
|
16.4 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
|
175.8 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
|
245.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html
|
text/html
|
root:root
|
0o644
|
153.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html
|
text/html
|
root:root
|
0o644
|
172.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html
|
text/html
|
root:root
|
0o644
|
109.2 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.0 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.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html
|
text/html
|
root:root
|
0o644
|
115.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Props.html
|
text/html
|
root:root
|
0o644
|
184.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html
|
text/html
|
root:root
|
0o644
|
39.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html
|
text/html
|
root:root
|
0o644
|
114.2 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.html
|
text/html
|
root:root
|
0o644
|
81.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html
|
text/html
|
root:root
|
0o644
|
493.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
|
190.5 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.html
|
text/html
|
root:root
|
0o644
|
137.3 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
|
249.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html
|
text/html
|
root:root
|
0o644
|
46.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html
|
text/html
|
root:root
|
0o644
|
88.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html
|
text/html
|
root:root
|
0o644
|
252.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html
|
text/html
|
root:root
|
0o644
|
131.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html
|
text/html
|
root:root
|
0o644
|
251.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html
|
text/html
|
root:root
|
0o644
|
619.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html
|
text/html
|
root:root
|
0o644
|
195.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.html
|
text/html
|
root:root
|
0o644
|
213.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html
|
text/html
|
root:root
|
0o644
|
136.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html
|
text/html
|
root:root
|
0o644
|
44.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html
|
text/html
|
root:root
|
0o644
|
514.3 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.Maybe.Core.html
|
text/html
|
root:root
|
0o644
|
5.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html
|
text/html
|
root:root
|
0o644
|
106.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.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
|
127.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html
|
text/html
|
root:root
|
0o644
|
68.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html
|
text/html
|
root:root
|
0o644
|
122.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html
|
text/html
|
root:root
|
0o644
|
223.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html
|
text/html
|
root:root
|
0o644
|
127.3 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
|
87.0 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
|
459.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html
|
text/html
|
root:root
|
0o644
|
11.1 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.1 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
|
58.2 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.BoundedVec.html
|
text/html
|
root:root
|
0o644
|
26.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html
|
text/html
|
root:root
|
0o644
|
73.0 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.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html
|
text/html
|
root:root
|
0o644
|
98.4 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
|
92.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.String.html
|
text/html
|
root:root
|
0o644
|
29.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html
|
text/html
|
root:root
|
0o644
|
36.6 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.Unit.html
|
text/html
|
root:root
|
0o644
|
21.7 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.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html
|
text/html
|
root:root
|
0o644
|
161.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html
|
text/html
|
root:root
|
0o644
|
320.5 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/Everything.html
|
text/html
|
root:root
|
0o644
|
64.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.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html
|
text/html
|
root:root
|
0o644
|
56.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html
|
text/html
|
root:root
|
0o644
|
65.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.html
|
text/html
|
root:root
|
0o644
|
69.7 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
|
85.9 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
|
204.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html
|
text/html
|
root:root
|
0o644
|
312.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html
|
text/html
|
root:root
|
0o644
|
45.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.html
|
text/html
|
root:root
|
0o644
|
27.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html
|
text/html
|
root:root
|
0o644
|
47.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html
|
text/html
|
root:root
|
0o644
|
35.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html
|
text/html
|
root:root
|
0o644
|
90.1 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/Irrelevance.html
|
text/html
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Level.html
|
text/html
|
root:root
|
0o644
|
9.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html
|
text/html
|
root:root
|
0o644
|
39.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Case.html
|
text/html
|
root:root
|
0o644
|
12.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.html
|
text/html
|
root:root
|
0o644
|
36.2 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
|
145.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Reflection.html
|
text/html
|
root:root
|
0o644
|
225.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html
|
text/html
|
root:root
|
0o644
|
10.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html
|
text/html
|
root:root
|
0o644
|
87.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html
|
text/html
|
root:root
|
0o644
|
131.3 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.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html
|
text/html
|
root:root
|
0o644
|
9.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html
|
text/html
|
root:root
|
0o644
|
159.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html
|
text/html
|
root:root
|
0o644
|
136.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Core.html
|
text/html
|
root:root
|
0o644
|
39.9 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
|
99.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html
|
text/html
|
root:root
|
0o644
|
158.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html
|
text/html
|
root:root
|
0o644
|
237.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html
|
text/html
|
root:root
|
0o644
|
63.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html
|
text/html
|
root:root
|
0o644
|
152.4 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
|
120.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html
|
text/html
|
root:root
|
0o644
|
322.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html
|
text/html
|
root:root
|
0o644
|
223.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html
|
text/html
|
root:root
|
0o644
|
17.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html
|
text/html
|
root:root
|
0o644
|
112.8 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
|
9.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Poset.html
|
text/html
|
root:root
|
0o644
|
8.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Preorder.html
|
text/html
|
root:root
|
0o644
|
9.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictPartialOrder.html
|
text/html
|
root:root
|
0o644
|
9.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictTotalOrder.html
|
text/html
|
root:root
|
0o644
|
9.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.TotalOrder.html
|
text/html
|
root:root
|
0o644
|
7.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html
|
text/html
|
root:root
|
0o644
|
60.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html
|
text/html
|
root:root
|
0o644
|
364.5 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
|
479.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html
|
text/html
|
root:root
|
0o644
|
188.1 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
|
53.0 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.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.7 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.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html
|
text/html
|
root:root
|
0o644
|
110.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html
|
text/html
|
root:root
|
0o644
|
68.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Size.html
|
text/html
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Universe.html
|
text/html
|
root:root
|
0o644
|
11.4 KB
|