/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
|
2.3 KB
|
/usr/share/doc/agda-stdlib-doc/changelog.gz
|
application/gzip
|
root:root
|
0o644
|
2.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.Builtin.Bool.html
|
text/html
|
root:root
|
0o644
|
4.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Char.html
|
text/html
|
root:root
|
0o644
|
6.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Coinduction.html
|
text/html
|
root:root
|
0o644
|
6.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Equality.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Float.html
|
text/html
|
root:root
|
0o644
|
12.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Int.html
|
text/html
|
root:root
|
0o644
|
5.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.IO.html
|
text/html
|
root:root
|
0o644
|
2.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.List.html
|
text/html
|
root:root
|
0o644
|
6.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Nat.html
|
text/html
|
root:root
|
0o644
|
30.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Reflection.html
|
text/html
|
root:root
|
0o644
|
115.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Size.html
|
text/html
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.String.html
|
text/html
|
root:root
|
0o644
|
6.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.TrustMe.html
|
text/html
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Unit.html
|
text/html
|
root:root
|
0o644
|
2.3 KB
|
/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
|
6.4 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
|
82.4 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.9 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
|
154.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html
|
text/html
|
root:root
|
0o644
|
509.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html
|
text/html
|
root:root
|
0o644
|
58.3 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.7 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.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html
|
text/html
|
root:root
|
0o644
|
492.5 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.9 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.5 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
|
60.0 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
|
147.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html
|
text/html
|
root:root
|
0o644
|
732.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html
|
text/html
|
root:root
|
0o644
|
38.3 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
|
7.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html
|
text/html
|
root:root
|
0o644
|
311.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html
|
text/html
|
root:root
|
0o644
|
39.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html
|
text/html
|
root:root
|
0o644
|
23.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html
|
text/html
|
root:root
|
0o644
|
210.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Base.html
|
text/html
|
root:root
|
0o644
|
20.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html
|
text/html
|
root:root
|
0o644
|
4.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html
|
text/html
|
root:root
|
0o644
|
151.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html
|
text/html
|
root:root
|
0o644
|
39.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html
|
text/html
|
root:root
|
0o644
|
19.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Base.html
|
text/html
|
root:root
|
0o644
|
7.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Core.html
|
text/html
|
root:root
|
0o644
|
2.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html
|
text/html
|
root:root
|
0o644
|
20.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html
|
text/html
|
root:root
|
0o644
|
19.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html
|
text/html
|
root:root
|
0o644
|
367.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.Infinite-merge.html
|
text/html
|
root:root
|
0o644
|
196.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Conat.html
|
text/html
|
root:root
|
0o644
|
25.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html
|
text/html
|
root:root
|
0o644
|
248.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html
|
text/html
|
root:root
|
0o644
|
154.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.FreeMonad.html
|
text/html
|
root:root
|
0o644
|
29.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html
|
text/html
|
root:root
|
0o644
|
176.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html
|
text/html
|
root:root
|
0o644
|
262.2 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
|
49.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html
|
text/html
|
root:root
|
0o644
|
283.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html
|
text/html
|
root:root
|
0o644
|
111.3 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.5 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
|
58.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
|
132.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html
|
text/html
|
root:root
|
0o644
|
126.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html
|
text/html
|
root:root
|
0o644
|
219.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html
|
text/html
|
root:root
|
0o644
|
41.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html
|
text/html
|
root:root
|
0o644
|
117.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html
|
text/html
|
root:root
|
0o644
|
72.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html
|
text/html
|
root:root
|
0o644
|
82.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html
|
text/html
|
root:root
|
0o644
|
497.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html
|
text/html
|
root:root
|
0o644
|
22.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Float.html
|
text/html
|
root:root
|
0o644
|
10.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html
|
text/html
|
root:root
|
0o644
|
193.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html
|
text/html
|
root:root
|
0o644
|
80.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Base.html
|
text/html
|
root:root
|
0o644
|
78.3 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
|
68.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html
|
text/html
|
root:root
|
0o644
|
73.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html
|
text/html
|
root:root
|
0o644
|
285.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html
|
text/html
|
root:root
|
0o644
|
47.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html
|
text/html
|
root:root
|
0o644
|
142.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html
|
text/html
|
root:root
|
0o644
|
256.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html
|
text/html
|
root:root
|
0o644
|
135.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html
|
text/html
|
root:root
|
0o644
|
255.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html
|
text/html
|
root:root
|
0o644
|
628.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Base.html
|
text/html
|
root:root
|
0o644
|
186.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html
|
text/html
|
root:root
|
0o644
|
198.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.html
|
text/html
|
root:root
|
0o644
|
39.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html
|
text/html
|
root:root
|
0o644
|
229.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html
|
text/html
|
root:root
|
0o644
|
31.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html
|
text/html
|
root:root
|
0o644
|
548.5 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.8 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.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Base.html
|
text/html
|
root:root
|
0o644
|
98.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html
|
text/html
|
root:root
|
0o644
|
115.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html
|
text/html
|
root:root
|
0o644
|
130.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html
|
text/html
|
root:root
|
0o644
|
96.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html
|
text/html
|
root:root
|
0o644
|
124.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html
|
text/html
|
root:root
|
0o644
|
225.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html
|
text/html
|
root:root
|
0o644
|
34.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html
|
text/html
|
root:root
|
0o644
|
55.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html
|
text/html
|
root:root
|
0o644
|
88.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html
|
text/html
|
root:root
|
0o644
|
12.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html
|
text/html
|
root:root
|
0o644
|
408.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html
|
text/html
|
root:root
|
0o644
|
82.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html
|
text/html
|
root:root
|
0o644
|
11.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Plus.html
|
text/html
|
root:root
|
0o644
|
50.5 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.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html
|
text/html
|
root:root
|
0o644
|
112.9 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.4 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.6 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.5 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
|
72.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html
|
text/html
|
root:root
|
0o644
|
99.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html
|
text/html
|
root:root
|
0o644
|
27.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Stream.html
|
text/html
|
root:root
|
0o644
|
101.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.String.Base.html
|
text/html
|
root:root
|
0o644
|
17.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.String.html
|
text/html
|
root:root
|
0o644
|
26.8 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html
|
text/html
|
root:root
|
0o644
|
39.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Base.html
|
text/html
|
root:root
|
0o644
|
3.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html
|
text/html
|
root:root
|
0o644
|
20.0 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
|
69.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html
|
text/html
|
root:root
|
0o644
|
204.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html
|
text/html
|
root:root
|
0o644
|
163.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html
|
text/html
|
root:root
|
0o644
|
356.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
|
3.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html
|
text/html
|
root:root
|
0o644
|
40.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html
|
text/html
|
root:root
|
0o644
|
66.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html
|
text/html
|
root:root
|
0o644
|
65.8 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
|
30.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html
|
text/html
|
root:root
|
0o644
|
91.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html
|
text/html
|
root:root
|
0o644
|
62.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html
|
text/html
|
root:root
|
0o644
|
208.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html
|
text/html
|
root:root
|
0o644
|
381.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html
|
text/html
|
root:root
|
0o644
|
46.3 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.4 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.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html
|
text/html
|
root:root
|
0o644
|
23.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Irrelevance.html
|
text/html
|
root:root
|
0o644
|
1.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Level.html
|
text/html
|
root:root
|
0o644
|
5.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html
|
text/html
|
root:root
|
0o644
|
39.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Case.html
|
text/html
|
root:root
|
0o644
|
12.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Container.FreeMonad.html
|
text/html
|
root:root
|
0o644
|
28.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.html
|
text/html
|
root:root
|
0o644
|
35.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html
|
text/html
|
root:root
|
0o644
|
25.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html
|
text/html
|
root:root
|
0o644
|
19.5 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.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Reflection.html
|
text/html
|
root:root
|
0o644
|
453.8 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
|
119.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html
|
text/html
|
root:root
|
0o644
|
124.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html
|
text/html
|
root:root
|
0o644
|
6.4 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html
|
text/html
|
root:root
|
0o644
|
147.8 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
|
185.7 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html
|
text/html
|
root:root
|
0o644
|
160.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.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.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html
|
text/html
|
root:root
|
0o644
|
172.3 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html
|
text/html
|
root:root
|
0o644
|
236.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html
|
text/html
|
root:root
|
0o644
|
62.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html
|
text/html
|
root:root
|
0o644
|
151.9 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
|
122.1 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html
|
text/html
|
root:root
|
0o644
|
340.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html
|
text/html
|
root:root
|
0o644
|
223.6 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DecTotalOrder.html
|
text/html
|
root:root
|
0o644
|
8.4 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
|
140.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html
|
text/html
|
root:root
|
0o644
|
8.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html
|
text/html
|
root:root
|
0o644
|
60.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SetoidReasoning.html
|
text/html
|
root:root
|
0o644
|
23.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html
|
text/html
|
root:root
|
0o644
|
369.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
|
66.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html
|
text/html
|
root:root
|
0o644
|
493.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html
|
text/html
|
root:root
|
0o644
|
189.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html
|
text/html
|
root:root
|
0o644
|
67.6 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.5 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.9 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html
|
text/html
|
root:root
|
0o644
|
124.5 KB
|
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.PredicateTransformer.html
|
text/html
|
root:root
|
0o644
|
79.0 KB
|
/usr/share/doc/agda-stdlib-doc/html/Size.html
|
text/html
|
root:root
|
0o644
|
4.2 KB
|
/usr/share/doc/agda-stdlib-doc/html/Universe.html
|
text/html
|
root:root
|
0o644
|
11.5 KB
|