This file is indexed.

/usr/share/ is in agda-stdlib 0.6-2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/agda-stdlib/Algebra/ root:root 0o755
/usr/share/agda-stdlib/Algebra/RingSolver/ root:root 0o755
/usr/share/agda-stdlib/Data/List/All.agdai application/octet-stream root:root 0o644 44.9 KB
/usr/share/agda-stdlib/Data/Integer/ root:root 0o755
/usr/share/agda-stdlib/Data/Sum.agdai application/octet-stream root:root 0o644 18.5 KB
/usr/share/agda-stdlib/Data/Nat.agdai application/octet-stream root:root 0o644 100.8 KB
/usr/share/agda-stdlib/Data/Unit.agdai application/octet-stream root:root 0o644 36.3 KB
/usr/share/agda-stdlib/Data/Bool.agdai application/octet-stream root:root 0o644 41.6 KB
/usr/share/agda-stdlib/Data/Fin.agdai application/octet-stream root:root 0o644 86.5 KB
/usr/share/agda-stdlib/ root:root 0o755
/usr/share/agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agda text/plain root:root 0o644 4.4 KB
/usr/share/agda-stdlib/Algebra/RingSolver/Simple.agda text/plain root:root 0o644 522 bytes
/usr/share/agda-stdlib/Algebra/RingSolver/Lemmas.agda text/plain root:root 0o644 4.6 KB
/usr/share/agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agdai application/octet-stream root:root 0o644 190.1 KB
/usr/share/agda-stdlib/Algebra/RingSolver/Lemmas.agdai application/octet-stream root:root 0o644 129.5 KB
/usr/share/agda-stdlib/Algebra/RingSolver/Simple.agdai application/octet-stream root:root 0o644 43.4 KB
/usr/share/agda-stdlib/Algebra/Operations.agda text/plain root:root 0o644 1.8 KB
/usr/share/agda-stdlib/Algebra/Props/ root:root 0o755
/usr/share/agda-stdlib/Algebra/Props/Ring.agda text/plain root:root 0o644 2.3 KB
/usr/share/agda-stdlib/Algebra/Props/Group.agda text/plain root:root 0o644 2.7 KB
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra.agda text/plain root:root 0o644 24.6 KB
/usr/share/agda-stdlib/Algebra/Props/AbelianGroup.agda text/plain root:root 0o644 1.7 KB
/usr/share/agda-stdlib/Algebra/Props/DistributiveLattice.agda text/plain root:root 0o644 3.4 KB
/usr/share/agda-stdlib/Algebra/Props/Lattice.agda text/plain root:root 0o644 3.9 KB
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra/ root:root 0o755
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra/Expression.agda text/plain root:root 0o644 8.4 KB
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra/Expression.agdai application/octet-stream root:root 0o644 162.6 KB
/usr/share/agda-stdlib/Algebra/Props/Group.agdai application/octet-stream root:root 0o644 81.2 KB
/usr/share/agda-stdlib/Algebra/Props/AbelianGroup.agdai application/octet-stream root:root 0o644 69.0 KB
/usr/share/agda-stdlib/Algebra/Props/Lattice.agdai application/octet-stream root:root 0o644 111.6 KB
/usr/share/agda-stdlib/Algebra/Props/DistributiveLattice.agdai application/octet-stream root:root 0o644 114.5 KB
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra.agdai application/octet-stream root:root 0o644 311.4 KB
/usr/share/agda-stdlib/Algebra/Props/Ring.agdai application/octet-stream root:root 0o644 80.2 KB
/usr/share/agda-stdlib/Algebra/FunctionProperties.agda text/plain root:root 0o644 2.7 KB
/usr/share/agda-stdlib/Algebra/FunctionProperties/ root:root 0o755
/usr/share/agda-stdlib/Algebra/FunctionProperties/Core.agda text/plain root:root 0o644 798 bytes
/usr/share/agda-stdlib/Algebra/FunctionProperties/Core.agdai application/octet-stream root:root 0o644 2.8 KB
/usr/share/agda-stdlib/Algebra/Structures.agda text/plain root:root 0o644 14.0 KB
/usr/share/agda-stdlib/Algebra/RingSolver.agda text/plain root:root 0o644 9.5 KB
/usr/share/agda-stdlib/Algebra/Morphism.agda text/plain root:root 0o644 2.5 KB
/usr/share/agda-stdlib/Algebra/FunctionProperties.agdai application/octet-stream root:root 0o644 45.3 KB
/usr/share/agda-stdlib/Algebra/Structures.agdai application/octet-stream root:root 0o644 357.7 KB
/usr/share/agda-stdlib/Algebra/Morphism.agdai application/octet-stream root:root 0o644 137.3 KB
/usr/share/agda-stdlib/Algebra/Operations.agdai application/octet-stream root:root 0o644 93.7 KB
/usr/share/agda-stdlib/Algebra/RingSolver.agdai application/octet-stream root:root 0o644 228.5 KB
/usr/share/agda-stdlib/Algebra.agda text/plain root:root 0o644 13.3 KB
/usr/share/agda-stdlib/Algebra.agdai application/octet-stream root:root 0o644 264.0 KB
/usr/share/agda-stdlib/Category/ root:root 0o755
/usr/share/agda-stdlib/Category/Applicative.agda text/plain root:root 0o644 634 bytes
/usr/share/agda-stdlib/Category/Functor.agda text/plain root:root 0o644 548 bytes
/usr/share/agda-stdlib/Category/Monad.agda text/plain root:root 0o644 1.0 KB
/usr/share/agda-stdlib/Category/Applicative/ root:root 0o755
/usr/share/agda-stdlib/Category/Applicative/Indexed.agda text/plain root:root 0o644 2.4 KB
/usr/share/agda-stdlib/Category/Applicative/Indexed.agdai application/octet-stream root:root 0o644 53.5 KB
/usr/share/agda-stdlib/Category/Monad/ root:root 0o755
/usr/share/agda-stdlib/Category/Monad/Indexed.agda text/plain root:root 0o644 1.5 KB
/usr/share/agda-stdlib/Category/Monad/Identity.agda text/plain root:root 0o644 453 bytes
/usr/share/agda-stdlib/Category/Monad/Continuation.agda text/plain root:root 0o644 2.1 KB
/usr/share/agda-stdlib/Category/Monad/Partiality.agda text/plain root:root 0o644 33.3 KB
/usr/share/agda-stdlib/Category/Monad/State.agda text/plain root:root 0o644 4.0 KB
/usr/share/agda-stdlib/Category/Monad/Indexed.agdai application/octet-stream root:root 0o644 32.4 KB
/usr/share/agda-stdlib/Category/Monad/Identity.agdai application/octet-stream root:root 0o644 6.5 KB
/usr/share/agda-stdlib/Category/Monad/Continuation.agdai application/octet-stream root:root 0o644 43.0 KB
/usr/share/agda-stdlib/Category/Monad/Partiality.agdai application/octet-stream root:root 0o644 429.0 KB
/usr/share/agda-stdlib/Category/Monad/State.agdai application/octet-stream root:root 0o644 78.7 KB
/usr/share/agda-stdlib/Category/Functor.agdai application/octet-stream root:root 0o644 6.7 KB
/usr/share/agda-stdlib/Category/Applicative.agdai application/octet-stream root:root 0o644 11.6 KB
/usr/share/agda-stdlib/Category/Monad.agdai application/octet-stream root:root 0o644 25.3 KB
/usr/share/agda-stdlib/Coinduction.agda text/plain root:root 0o644 1.5 KB
/usr/share/agda-stdlib/Coinduction.agdai application/octet-stream root:root 0o644 5.5 KB
/usr/share/agda-stdlib/Data/ root:root 0o755
/usr/share/agda-stdlib/Data/Integer.agda text/plain root:root 0o644 6.9 KB
/usr/share/agda-stdlib/Data/Char.agda text/plain root:root 0o644 1.4 KB
/usr/share/agda-stdlib/Data/Covec.agda text/plain root:root 0o644 4.8 KB
/usr/share/agda-stdlib/Data/Nat/ root:root 0o755
/usr/share/agda-stdlib/Data/Nat/Properties.agda text/plain root:root 0o644 20.6 KB
/usr/share/agda-stdlib/Data/Nat/Divisibility.agda text/plain root:root 0o644 6.4 KB
/usr/share/agda-stdlib/Data/Nat/Show.agda text/plain root:root 0o644 965 bytes
/usr/share/agda-stdlib/Data/Nat/DivMod.agda text/plain root:root 0o644 4.2 KB
/usr/share/agda-stdlib/Data/Nat/InfinitelyOften.agda text/plain root:root 0o644 2.8 KB
/usr/share/agda-stdlib/Data/Nat/LCM.agda text/plain root:root 0o644 5.0 KB
/usr/share/agda-stdlib/Data/Nat/Primality.agda text/plain root:root 0o644 946 bytes
/usr/share/agda-stdlib/Data/Nat/GCD/ root:root 0o755
/usr/share/agda-stdlib/Data/Nat/GCD/Lemmas.agda text/plain root:root 0o644 7.5 KB
/usr/share/agda-stdlib/Data/Nat/GCD/Lemmas.agdai application/octet-stream root:root 0o644 115.1 KB
/usr/share/agda-stdlib/Data/Nat/Coprimality.agda text/plain root:root 0o644 4.6 KB
/usr/share/agda-stdlib/Data/Nat/GCD.agda text/plain root:root 0o644 6.2 KB
/usr/share/agda-stdlib/Data/Nat/Properties.agdai application/octet-stream root:root 0o644 302.6 KB
/usr/share/agda-stdlib/Data/Nat/DivMod.agdai application/octet-stream root:root 0o644 69.9 KB
/usr/share/agda-stdlib/Data/Nat/Show.agdai application/octet-stream root:root 0o644 20.6 KB
/usr/share/agda-stdlib/Data/Nat/Divisibility.agdai application/octet-stream root:root 0o644 164.4 KB
/usr/share/agda-stdlib/Data/Nat/GCD.agdai application/octet-stream root:root 0o644 105.2 KB
/usr/share/agda-stdlib/Data/Nat/Coprimality.agdai application/octet-stream root:root 0o644 139.7 KB
/usr/share/agda-stdlib/Data/Nat/InfinitelyOften.agdai application/octet-stream root:root 0o644 101.3 KB
/usr/share/agda-stdlib/Data/Nat/LCM.agdai application/octet-stream root:root 0o644 144.8 KB
/usr/share/agda-stdlib/Data/Nat/Primality.agdai application/octet-stream root:root 0o644 25.6 KB
/usr/share/agda-stdlib/Data/Colist.agda text/plain root:root 0o644 8.9 KB
/usr/share/agda-stdlib/Data/Maybe.agda text/plain root:root 0o644 5.2 KB
/usr/share/agda-stdlib/Data/Star.agda text/plain root:root 0o644 4.6 KB
/usr/share/agda-stdlib/Data/Fin.agda text/plain root:root 0o644 5.5 KB
/usr/share/agda-stdlib/Data/Vec.agda text/plain root:root 0o644 6.9 KB
/usr/share/agda-stdlib/Data/Sign/ root:root 0o755
/usr/share/agda-stdlib/Data/Sign/Properties.agda text/plain root:root 0o644 820 bytes
/usr/share/agda-stdlib/Data/Sign/Properties.agdai application/octet-stream root:root 0o644 12.8 KB
/usr/share/agda-stdlib/Data/Empty.agda text/plain root:root 0o644 400 bytes
/usr/share/agda-stdlib/Data/Star/ root:root 0o755
/usr/share/agda-stdlib/Data/Star/Properties.agda text/plain root:root 0o644 3.9 KB
/usr/share/agda-stdlib/Data/Star/Pointer.agda text/plain root:root 0o644 3.3 KB
/usr/share/agda-stdlib/Data/Star/Fin.agda text/plain root:root 0o644 623 bytes
/usr/share/agda-stdlib/Data/Star/Vec.agda text/plain root:root 0o644 1.5 KB
/usr/share/agda-stdlib/Data/Star/Decoration.agda text/plain root:root 0o644 3.2 KB
/usr/share/agda-stdlib/Data/Star/BoundedVec.agda text/plain root:root 0o644 1.8 KB
/usr/share/agda-stdlib/Data/Star/List.agda text/plain root:root 0o644 663 bytes
/usr/share/agda-stdlib/Data/Star/Environment.agda text/plain root:root 0o644 1.1 KB
/usr/share/agda-stdlib/Data/Star/Nat.agda text/plain root:root 0o644 1006 bytes
/usr/share/agda-stdlib/Data/Star/Nat.agdai application/octet-stream root:root 0o644 36.3 KB
/usr/share/agda-stdlib/Data/Maybe.agdai application/octet-stream root:root 0o644 96.0 KB
/usr/share/agda-stdlib/Data/Star/Decoration.agdai application/octet-stream root:root 0o644 58.8 KB
/usr/share/agda-stdlib/Data/Star/Pointer.agdai application/octet-stream root:root 0o644 64.3 KB
/usr/share/agda-stdlib/Data/Star/List.agdai application/octet-stream root:root 0o644 9.9 KB
/usr/share/agda-stdlib/Data/Star/BoundedVec.agdai application/octet-stream root:root 0o644 57.6 KB
/usr/share/agda-stdlib/Data/Star/Environment.agdai application/octet-stream root:root 0o644 22.4 KB
/usr/share/agda-stdlib/Data/Star/Fin.agdai application/octet-stream root:root 0o644 10.6 KB
/usr/share/agda-stdlib/Data/Star/Properties.agdai application/octet-stream root:root 0o644 75.2 KB
/usr/share/agda-stdlib/Data/Star/Vec.agdai application/octet-stream root:root 0o644 47.5 KB
/usr/share/agda-stdlib/Data/Unit.agda text/plain root:root 0o644 1.9 KB
/usr/share/agda-stdlib/Data/AVL.agda text/plain root:root 0o644 14.8 KB
/usr/share/agda-stdlib/Data/W.agda text/plain root:root 0o644 846 bytes
/usr/share/agda-stdlib/Data/DifferenceList.agda text/plain root:root 0o644 1.7 KB
/usr/share/agda-stdlib/Data/Cofin.agda text/plain root:root 0o644 1.3 KB
/usr/share/agda-stdlib/Data/Conat.agda text/plain root:root 0o644 1.5 KB
/usr/share/agda-stdlib/Data/Container.agda text/plain root:root 0o644 8.4 KB
/usr/share/agda-stdlib/Data/DifferenceVec.agda text/plain root:root 0o644 1.6 KB
/usr/share/agda-stdlib/Data/Container/ root:root 0o755
/usr/share/agda-stdlib/Data/Container/Any.agda text/plain root:root 0o644 10.8 KB
/usr/share/agda-stdlib/Data/Container/Combinator.agda text/plain root:root 0o644 7.1 KB
/usr/share/agda-stdlib/Data/Container/Combinator.agdai application/octet-stream root:root 0o644 88.5 KB
/usr/share/agda-stdlib/Data/Container/Any.agdai application/octet-stream root:root 0o644 183.9 KB
/usr/share/agda-stdlib/Data/Vec/ root:root 0o755
/usr/share/agda-stdlib/Data/Vec/Properties.agda text/plain root:root 0o644 12.9 KB
/usr/share/agda-stdlib/Data/Vec/Equality.agda text/plain root:root 0o644 3.4 KB
/usr/share/agda-stdlib/Data/Vec/N-ary.agda text/plain root:root 0o644 6.6 KB
/usr/share/agda-stdlib/Data/Vec/N-ary.agdai application/octet-stream root:root 0o644 108.3 KB
/usr/share/agda-stdlib/Data/Vec/Equality.agdai application/octet-stream root:root 0o644 87.3 KB
/usr/share/agda-stdlib/Data/Vec/Properties.agdai application/octet-stream root:root 0o644 256.5 KB
/usr/share/agda-stdlib/Data/Sign.agda text/plain root:root 0o644 695 bytes
/usr/share/agda-stdlib/Data/Bin.agda text/plain root:root 0o644 10.6 KB
/usr/share/agda-stdlib/Data/Rational.agda text/plain root:root 0o644 3.9 KB
/usr/share/agda-stdlib/Data/List/ root:root 0o755
/usr/share/agda-stdlib/Data/List/Properties.agda text/plain root:root 0o644 20.3 KB
/usr/share/agda-stdlib/Data/List/Countdown.agda text/plain root:root 0o644 10.6 KB
/usr/share/agda-stdlib/Data/List/Any.agda text/plain root:root 0o644 7.3 KB
/usr/share/agda-stdlib/Data/List/NonEmpty/ root:root 0o755
/usr/share/agda-stdlib/Data/List/NonEmpty/Properties.agda text/plain root:root 0o644 2.2 KB
/usr/share/agda-stdlib/Data/List/NonEmpty/Properties.agdai application/octet-stream root:root 0o644 83.7 KB
/usr/share/agda-stdlib/Data/List/NonEmpty.agda text/plain root:root 0o644 5.3 KB
/usr/share/agda-stdlib/Data/List/All.agda text/plain root:root 0o644 2.0 KB
/usr/share/agda-stdlib/Data/List/Reverse.agda text/plain root:root 0o644 1.4 KB
/usr/share/agda-stdlib/Data/List/Any/ root:root 0o755
/usr/share/agda-stdlib/Data/List/Any/Properties.agda text/plain root:root 0o644 25.3 KB
/usr/share/agda-stdlib/Data/List/Any/Membership.agda text/plain root:root 0o644 11.7 KB
/usr/share/agda-stdlib/Data/List/Any/BagAndSetEquality.agda text/plain root:root 0o644 12.1 KB
/usr/share/agda-stdlib/Data/List/Any/Properties.agdai application/octet-stream root:root 0o644 416.8 KB
/usr/share/agda-stdlib/Data/List/Any/BagAndSetEquality.agdai application/octet-stream root:root 0o644 239.8 KB
/usr/share/agda-stdlib/Data/List/Any/Membership.agdai application/octet-stream root:root 0o644 291.9 KB
/usr/share/agda-stdlib/Data/List/All/ root:root 0o755
/usr/share/agda-stdlib/Data/List/All/Properties.agda text/plain root:root 0o644 3.8 KB
/usr/share/agda-stdlib/Data/List/All/Properties.agdai application/octet-stream root:root 0o644 78.4 KB
/usr/share/agda-stdlib/Data/List/NonEmpty.agdai application/octet-stream root:root 0o644 81.2 KB
/usr/share/agda-stdlib/Data/List/Any.agdai application/octet-stream root:root 0o644 128.4 KB
/usr/share/agda-stdlib/Data/List/Properties.agdai application/octet-stream root:root 0o644 316.8 KB
/usr/share/agda-stdlib/Data/List/Countdown.agdai application/octet-stream root:root 0o644 177.4 KB
/usr/share/agda-stdlib/Data/List/Reverse.agdai application/octet-stream root:root 0o644 37.7 KB
/usr/share/agda-stdlib/Data/DifferenceNat.agda text/plain root:root 0o644 724 bytes
/usr/share/agda-stdlib/Data/ReflexiveClosure.agda text/plain root:root 0o644 1.4 KB
/usr/share/agda-stdlib/Data/Maybe/ root:root 0o755
/usr/share/agda-stdlib/Data/Maybe/Core.agda text/plain root:root 0o644 487 bytes
/usr/share/agda-stdlib/Data/Maybe/Core.agdai application/octet-stream root:root 0o644 2.8 KB
/usr/share/agda-stdlib/Data/Product.agda text/plain root:root 0o644 3.2 KB
/usr/share/agda-stdlib/Data/String.agda text/plain root:root 0o644 2.3 KB
/usr/share/agda-stdlib/Data/BoundedVec.agda text/plain root:root 0o644 2.1 KB
/usr/share/agda-stdlib/Data/Sum.agda text/plain root:root 0o644 1.6 KB
/usr/share/agda-stdlib/Data/Fin/ root:root 0o755
/usr/share/agda-stdlib/Data/Fin/Substitution.agda text/plain root:root 0o644 4.6 KB
/usr/share/agda-stdlib/Data/Fin/Substitution/ root:root 0o755
/usr/share/agda-stdlib/Induction/ root:root 0o755
/usr/share/agda-stdlib/Data/Fin/Substitution/Example.agda text/plain root:root 0o644 3.7 KB
/usr/share/agda-stdlib/Data/Fin/Substitution/Lemmas.agda text/plain root:root 0o644 21.8 KB
/usr/share/agda-stdlib/Data/Fin/Substitution/List.agda text/plain root:root 0o644 1.4 KB
/usr/share/agda-stdlib/Data/Fin/Substitution/Lemmas.agdai application/octet-stream root:root 0o644 494.2 KB
/usr/share/agda-stdlib/Data/Fin/Substitution/Example.agdai application/octet-stream root:root 0o644 118.7 KB
/usr/share/agda-stdlib/Data/Fin/Substitution/List.agdai application/octet-stream root:root 0o644 91.0 KB
/usr/share/agda-stdlib/Data/Fin/Subset/ root:root 0o755
/usr/share/agda-stdlib/Data/Fin/Subset/Props.agda text/plain root:root 0o644 6.1 KB
/usr/share/agda-stdlib/Data/Fin/Subset/Props.agdai application/octet-stream root:root 0o644 160.4 KB
/usr/share/agda-stdlib/Data/Fin/Props.agda text/plain root:root 0o644 6.7 KB
/usr/share/agda-stdlib/Data/Fin/Dec.agda text/plain root:root 0o644 6.1 KB
/usr/share/agda-stdlib/Data/Fin/Subset.agda text/plain root:root 0o644 2.9 KB
/usr/share/agda-stdlib/Data/Fin/Props.agdai application/octet-stream root:root 0o644 127.7 KB
/usr/share/agda-stdlib/Data/Fin/Subset.agdai application/octet-stream root:root 0o644 88.9 KB
/usr/share/agda-stdlib/Data/Fin/Dec.agdai application/octet-stream root:root 0o644 130.1 KB
/usr/share/agda-stdlib/Data/Fin/Substitution.agdai application/octet-stream root:root 0o644 66.0 KB
/usr/share/agda-stdlib/Data/Stream.agda text/plain root:root 0o644 4.3 KB
/usr/share/agda-stdlib/Data/Digit.agda text/plain root:root 0o644 3.6 KB
/usr/share/agda-stdlib/Data/List.agda text/plain root:root 0o644 8.7 KB
/usr/share/agda-stdlib/Data/Unit/ root:root 0o755
/usr/share/agda-stdlib/Data/Unit/Core.agda text/plain root:root 0o644 1.2 KB
/usr/share/agda-stdlib/Data/Unit/Core.agdai application/octet-stream root:root 0o644 5.4 KB
/usr/share/agda-stdlib/Data/Bool.agda text/plain root:root 0o644 1.7 KB
/usr/share/agda-stdlib/Data/Bool/ root:root 0o755
/usr/share/agda-stdlib/Data/Bool/Properties.agda text/plain root:root 0o644 9.1 KB
/usr/share/agda-stdlib/Data/Bool/Show.agda text/plain root:root 0o644 339 bytes
/usr/share/agda-stdlib/Data/Bool/Properties.agdai application/octet-stream root:root 0o644 182.6 KB
/usr/share/agda-stdlib/Data/Bool/Show.agdai application/octet-stream root:root 0o644 4.2 KB
/usr/share/agda-stdlib/Data/Graph/ root:root 0o755
/usr/share/agda-stdlib/Data/Graph/Acyclic.agda text/plain root:root 0o644 9.3 KB
/usr/share/agda-stdlib/Data/Graph/Acyclic.agdai application/octet-stream root:root 0o644 129.5 KB
/usr/share/agda-stdlib/Data/Plus.agda text/plain root:root 0o644 2.8 KB
/usr/share/agda-stdlib/Data/BoundedVec/ root:root 0o755
/usr/share/agda-stdlib/Data/BoundedVec/Inefficient.agda text/plain root:root 0o644 1.2 KB
/usr/share/agda-stdlib/Data/BoundedVec/Inefficient.agdai application/octet-stream root:root 0o644 18.4 KB
/usr/share/agda-stdlib/Data/Product/ root:root 0o755
/usr/share/agda-stdlib/Data/Product/N-ary.agda text/plain root:root 0o644 2.2 KB
/usr/share/agda-stdlib/Data/Product/N-ary.agdai application/octet-stream root:root 0o644 41.6 KB
/usr/share/agda-stdlib/Data/Integer/Properties.agda text/plain root:root 0o644 12.5 KB
/usr/share/agda-stdlib/Data/Integer/Divisibility.agda text/plain root:root 0o644 897 bytes
/usr/share/agda-stdlib/Data/Integer/Addition/ root:root 0o755
/usr/share/agda-stdlib/Data/Integer/Addition/Properties.agda text/plain root:root 0o644 3.9 KB
/usr/share/agda-stdlib/Data/Integer/Addition/Properties.agdai application/octet-stream root:root 0o644 125.9 KB
/usr/share/agda-stdlib/Data/Integer/Multiplication/ root:root 0o755
/usr/share/agda-stdlib/Data/Integer/Multiplication/Properties.agda text/plain root:root 0o644 3.4 KB
/usr/share/agda-stdlib/Data/Integer/Multiplication/Properties.agdai application/octet-stream root:root 0o644 120.4 KB
/usr/share/agda-stdlib/Data/Integer/Properties.agdai application/octet-stream root:root 0o644 274.8 KB
/usr/share/agda-stdlib/Data/Integer/Divisibility.agdai application/octet-stream root:root 0o644 43.5 KB
/usr/share/agda-stdlib/Data/Nat.agda text/plain root:root 0o644 6.7 KB
/usr/share/agda-stdlib/Data/AVL/ root:root 0o755
/usr/share/agda-stdlib/Data/AVL/Sets.agda text/plain root:root 0o644 1.5 KB
/usr/share/agda-stdlib/Data/AVL/IndexedMap.agda text/plain root:root 0o644 2.0 KB
/usr/share/agda-stdlib/Data/AVL/IndexedMap.agdai application/octet-stream root:root 0o644 106.8 KB
/usr/share/agda-stdlib/Data/AVL/Sets.agdai application/octet-stream root:root 0o644 93.9 KB
/usr/share/agda-stdlib/Data/Empty.agdai application/octet-stream root:root 0o644 2.4 KB
/usr/share/agda-stdlib/Data/Product.agdai application/octet-stream root:root 0o644 37.3 KB
/usr/share/agda-stdlib/Data/List.agdai application/octet-stream root:root 0o644 166.3 KB
/usr/share/agda-stdlib/Data/Vec.agdai application/octet-stream root:root 0o644 108.6 KB
/usr/share/agda-stdlib/Data/Plus.agdai application/octet-stream root:root 0o644 46.8 KB
/usr/share/agda-stdlib/Data/DifferenceList.agdai application/octet-stream root:root 0o644 27.1 KB
/usr/share/agda-stdlib/Data/AVL.agdai application/octet-stream root:root 0o644 228.2 KB
/usr/share/agda-stdlib/Data/Char.agdai application/octet-stream root:root 0o644 49.5 KB
/usr/share/agda-stdlib/Data/Digit.agdai application/octet-stream root:root 0o644 69.4 KB
/usr/share/agda-stdlib/Data/Bin.agdai application/octet-stream root:root 0o644 208.2 KB
/usr/share/agda-stdlib/Data/Conat.agdai application/octet-stream root:root 0o644 40.1 KB
/usr/share/agda-stdlib/Data/Colist.agdai application/octet-stream root:root 0o644 157.1 KB
/usr/share/agda-stdlib/Data/String.agdai application/octet-stream root:root 0o644 62.8 KB
/usr/share/agda-stdlib/Data/BoundedVec.agdai application/octet-stream root:root 0o644 43.1 KB
/usr/share/agda-stdlib/Data/Cofin.agdai application/octet-stream root:root 0o644 19.5 KB
/usr/share/agda-stdlib/Data/Container.agdai application/octet-stream root:root 0o644 125.6 KB
/usr/share/agda-stdlib/Data/Covec.agdai application/octet-stream root:root 0o644 96.5 KB
/usr/share/agda-stdlib/Data/DifferenceNat.agdai application/octet-stream root:root 0o644 12.2 KB
/usr/share/agda-stdlib/Data/DifferenceVec.agdai application/octet-stream root:root 0o644 28.9 KB
/usr/share/agda-stdlib/Data/Star.agdai application/octet-stream root:root 0o644 66.0 KB
/usr/share/agda-stdlib/Data/Sign.agdai application/octet-stream root:root 0o644 30.9 KB
/usr/share/agda-stdlib/Data/Integer.agdai application/octet-stream root:root 0o644 114.5 KB
/usr/share/agda-stdlib/Data/Rational.agdai application/octet-stream root:root 0o644 99.3 KB
/usr/share/agda-stdlib/Data/ReflexiveClosure.agdai application/octet-stream root:root 0o644 34.9 KB
/usr/share/agda-stdlib/Data/Stream.agdai application/octet-stream root:root 0o644 80.9 KB
/usr/share/agda-stdlib/Data/W.agdai application/octet-stream root:root 0o644 8.4 KB
/usr/share/agda-stdlib/Foreign/ root:root 0o755
/usr/share/agda-stdlib/Foreign/Haskell.agda text/plain root:root 0o644 359 bytes
/usr/share/agda-stdlib/Foreign/Haskell.agdai application/octet-stream root:root 0o644 1.0 KB
/usr/share/agda-stdlib/Function/ root:root 0o755
/usr/share/agda-stdlib/Function/Equivalence.agda text/plain root:root 0o644 3.6 KB
/usr/share/agda-stdlib/Function/Equality.agda text/plain root:root 0o644 3.2 KB
/usr/share/agda-stdlib/Function/Injection.agda text/plain root:root 0o644 1.7 KB
/usr/share/agda-stdlib/Function/Surjection.agda text/plain root:root 0o644 3.0 KB
/usr/share/agda-stdlib/Function/Bijection.agda text/plain root:root 0o644 2.6 KB
/usr/share/agda-stdlib/Function/LeftInverse.agda text/plain root:root 0o644 3.2 KB
/usr/share/agda-stdlib/Function/Related/ root:root 0o755
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms.agda text/plain root:root 0o644 10.9 KB
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms.agdai application/octet-stream root:root 0o644 176.7 KB
/usr/share/agda-stdlib/Function/Related.agda text/plain root:root 0o644 13.1 KB
/usr/share/agda-stdlib/Function/Inverse.agda text/plain root:root 0o644 5.3 KB
/usr/share/agda-stdlib/Function/Equality.agdai application/octet-stream root:root 0o644 55.8 KB
/usr/share/agda-stdlib/Function/Injection.agdai application/octet-stream root:root 0o644 48.4 KB
/usr/share/agda-stdlib/Function/Equivalence.agdai application/octet-stream root:root 0o644 56.7 KB
/usr/share/agda-stdlib/Function/LeftInverse.agdai application/octet-stream root:root 0o644 68.2 KB
/usr/share/agda-stdlib/Function/Surjection.agdai application/octet-stream root:root 0o644 55.7 KB
/usr/share/agda-stdlib/Function/Bijection.agdai application/octet-stream root:root 0o644 50.5 KB
/usr/share/agda-stdlib/Function/Inverse.agdai application/octet-stream root:root 0o644 83.3 KB
/usr/share/agda-stdlib/Function/Related.agdai application/octet-stream root:root 0o644 139.3 KB
/usr/share/agda-stdlib/Function.agda text/plain root:root 0o644 3.1 KB
/usr/share/agda-stdlib/Function.agdai application/octet-stream root:root 0o644 24.5 KB
/usr/share/agda-stdlib/Induction/WellFounded.agda text/plain root:root 0o644 4.6 KB
/usr/share/agda-stdlib/Induction/Lexicographic.agda text/plain root:root 0o644 2.5 KB
/usr/share/agda-stdlib/Induction/Nat.agda text/plain root:root 0o644 2.9 KB
/usr/share/agda-stdlib/Induction/WellFounded.agdai application/octet-stream root:root 0o644 65.9 KB
/usr/share/agda-stdlib/Induction/Nat.agdai application/octet-stream root:root 0o644 48.4 KB
/usr/share/agda-stdlib/Induction/Lexicographic.agdai application/octet-stream root:root 0o644 33.2 KB
/usr/share/agda-stdlib/Induction.agda text/plain root:root 0o644 2.0 KB
/usr/share/agda-stdlib/Induction.agdai application/octet-stream root:root 0o644 13.9 KB
/usr/share/agda-stdlib/IO/ root:root 0o755
/usr/share/agda-stdlib/IO/Primitive.agda text/plain root:root 0o644 1.7 KB
/usr/share/agda-stdlib/IO/Primitive.agdai application/octet-stream root:root 0o644 9.1 KB
/usr/share/agda-stdlib/IO.agda text/plain root:root 0o644 3.7 KB
/usr/share/agda-stdlib/IO.agdai application/octet-stream root:root 0o644 43.8 KB
/usr/share/agda-stdlib/Level/ root:root 0o755
/usr/share/agda-stdlib/Level.agda text/plain root:root 0o644 862 bytes
/usr/share/agda-stdlib/Level.agdai application/octet-stream root:root 0o644 4.1 KB
/usr/share/agda-stdlib/Record.agda text/plain root:root 0o644 8.1 KB
/usr/share/agda-stdlib/Record.agdai application/octet-stream root:root 0o644 115.1 KB
/usr/share/agda-stdlib/Reflection.agda text/plain root:root 0o644 12.1 KB
/usr/share/agda-stdlib/Reflection.agdai application/octet-stream root:root 0o644 158.6 KB
/usr/share/agda-stdlib/Relation/ root:root 0o755
/usr/share/agda-stdlib/Relation/Nullary.agda text/plain root:root 0o644 634 bytes
/usr/share/agda-stdlib/Relation/Unary.agda text/plain root:root 0o644 3.6 KB
/usr/share/agda-stdlib/Relation/Binary/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Indexed.agda text/plain root:root 0o644 1.0 KB
/usr/share/agda-stdlib/Relation/Binary/PartialOrderReasoning.agda text/plain root:root 0o644 511 bytes
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality.agda text/plain root:root 0o644 6.7 KB
/usr/share/agda-stdlib/Relation/Binary/NonStrictToStrict.agda text/plain root:root 0o644 4.0 KB
/usr/share/agda-stdlib/Relation/Binary/InducedPreorders.agda text/plain root:root 0o644 1.5 KB
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Core.agda text/plain root:root 0o644 815 bytes
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Core.agdai application/octet-stream root:root 0o644 7.3 KB
/usr/share/agda-stdlib/Relation/Binary/StrictToNonStrict.agda text/plain root:root 0o644 3.5 KB
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality.agda text/plain root:root 0o644 6.4 KB
/usr/share/agda-stdlib/Relation/Binary/Sigma/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Sigma/Pointwise.agda text/plain root:root 0o644 19.6 KB
/usr/share/agda-stdlib/Relation/Binary/Sigma/Pointwise.agdai application/octet-stream root:root 0o644 217.0 KB
/usr/share/agda-stdlib/Relation/Binary/Flip.agda text/plain root:root 0o644 7.6 KB
/usr/share/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agda text/plain root:root 0o644 588 bytes
/usr/share/agda-stdlib/Relation/Binary/Props/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agda text/plain root:root 0o644 1.0 KB
/usr/share/agda-stdlib/Relation/Binary/Props/Poset.agda text/plain root:root 0o644 910 bytes
/usr/share/agda-stdlib/Relation/Binary/Props/Preorder.agda text/plain root:root 0o644 800 bytes
/usr/share/agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agda text/plain root:root 0o644 976 bytes
/usr/share/agda-stdlib/Relation/Binary/Props/DecTotalOrder.agda text/plain root:root 0o644 865 bytes
/usr/share/agda-stdlib/Relation/Binary/Props/TotalOrder.agda text/plain root:root 0o644 687 bytes
/usr/share/agda-stdlib/Relation/Binary/Props/DecTotalOrder.agdai application/octet-stream root:root 0o644 43.6 KB
/usr/share/agda-stdlib/Relation/Binary/Props/Poset.agdai application/octet-stream root:root 0o644 36.5 KB
/usr/share/agda-stdlib/Relation/Binary/Props/Preorder.agdai application/octet-stream root:root 0o644 31.6 KB
/usr/share/agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agdai application/octet-stream root:root 0o644 35.8 KB
/usr/share/agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agdai application/octet-stream root:root 0o644 45.0 KB
/usr/share/agda-stdlib/Relation/Binary/Props/TotalOrder.agdai application/octet-stream root:root 0o644 29.7 KB
/usr/share/agda-stdlib/Relation/Binary/Vec/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Vec/Pointwise.agda text/plain root:root 0o644 7.0 KB
/usr/share/agda-stdlib/Relation/Binary/Vec/Pointwise.agdai application/octet-stream root:root 0o644 135.2 KB
/usr/share/agda-stdlib/Relation/Binary/On.agda text/plain root:root 0o644 8.0 KB
/usr/share/agda-stdlib/Relation/Binary/Simple.agda text/plain root:root 0o644 840 bytes
/usr/share/agda-stdlib/Relation/Binary/List/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/List/StrictLex.agda text/plain root:root 0o644 12.9 KB
/usr/share/agda-stdlib/Relation/Binary/List/NonStrictLex.agda text/plain root:root 0o644 6.9 KB
/usr/share/agda-stdlib/Relation/Binary/List/Pointwise.agda text/plain root:root 0o644 5.9 KB
/usr/share/agda-stdlib/Relation/Binary/List/Pointwise.agdai application/octet-stream root:root 0o644 102.1 KB
/usr/share/agda-stdlib/Relation/Binary/List/StrictLex.agdai application/octet-stream root:root 0o644 184.6 KB
/usr/share/agda-stdlib/Relation/Binary/List/NonStrictLex.agdai application/octet-stream root:root 0o644 96.7 KB
/usr/share/agda-stdlib/Relation/Binary/PreorderReasoning.agda text/plain root:root 0o644 1.6 KB
/usr/share/agda-stdlib/Relation/Binary/Reflection.agda text/plain root:root 0o644 3.8 KB
/usr/share/agda-stdlib/Relation/Binary/OrderMorphism.agda text/plain root:root 0o644 1.6 KB
/usr/share/agda-stdlib/Relation/Binary/Sum.agda text/plain root:root 0o644 26.7 KB
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda text/plain root:root 0o644 637 bytes
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/Core.agda text/plain root:root 0o644 1.0 KB
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/Core.agdai application/octet-stream root:root 0o644 12.3 KB
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai application/octet-stream root:root 0o644 7.3 KB
/usr/share/agda-stdlib/Relation/Binary/Consequences.agda text/plain root:root 0o644 3.9 KB
/usr/share/agda-stdlib/Relation/Binary/Indexed/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Indexed/Core.agda text/plain root:root 0o644 2.1 KB
/usr/share/agda-stdlib/Relation/Binary/Indexed/Core.agdai application/octet-stream root:root 0o644 25.2 KB
/usr/share/agda-stdlib/Relation/Binary/Product/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Product/StrictLex.agda text/plain root:root 0o644 13.5 KB
/usr/share/agda-stdlib/Relation/Binary/Product/NonStrictLex.agda text/plain root:root 0o644 8.2 KB
/usr/share/agda-stdlib/Relation/Binary/Product/Pointwise.agda text/plain root:root 0o644 17.3 KB
/usr/share/agda-stdlib/Relation/Binary/Product/Pointwise.agdai application/octet-stream root:root 0o644 187.8 KB
/usr/share/agda-stdlib/Relation/Binary/Product/StrictLex.agdai application/octet-stream root:root 0o644 137.5 KB
/usr/share/agda-stdlib/Relation/Binary/Product/NonStrictLex.agdai application/octet-stream root:root 0o644 107.1 KB
/usr/share/agda-stdlib/Relation/Binary/EqReasoning.agda text/plain root:root 0o644 1.1 KB
/usr/share/agda-stdlib/Relation/Binary/Consequences/ root:root 0o755
/usr/share/agda-stdlib/Relation/Binary/Consequences/Core.agda text/plain root:root 0o644 724 bytes
/usr/share/agda-stdlib/Relation/Binary/Consequences/Core.agdai application/octet-stream root:root 0o644 9.6 KB
/usr/share/agda-stdlib/Relation/Binary/Core.agda text/plain root:root 0o644 5.9 KB
/usr/share/agda-stdlib/Relation/Binary/Core.agdai application/octet-stream root:root 0o644 54.4 KB
/usr/share/agda-stdlib/Relation/Binary/Consequences.agdai application/octet-stream root:root 0o644 53.6 KB
/usr/share/agda-stdlib/Relation/Binary/PreorderReasoning.agdai application/octet-stream root:root 0o644 32.4 KB
/usr/share/agda-stdlib/Relation/Binary/EqReasoning.agdai application/octet-stream root:root 0o644 29.1 KB
/usr/share/agda-stdlib/Relation/Binary/Indexed.agdai application/octet-stream root:root 0o644 31.3 KB
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality.agdai application/octet-stream root:root 0o644 81.4 KB
/usr/share/agda-stdlib/Relation/Binary/PartialOrderReasoning.agdai application/octet-stream root:root 0o644 30.1 KB
/usr/share/agda-stdlib/Relation/Binary/Reflection.agdai application/octet-stream root:root 0o644 78.1 KB
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality.agdai application/octet-stream root:root 0o644 92.0 KB
/usr/share/agda-stdlib/Relation/Binary/On.agdai application/octet-stream root:root 0o644 120.3 KB
/usr/share/agda-stdlib/Relation/Binary/InducedPreorders.agdai application/octet-stream root:root 0o644 34.6 KB
/usr/share/agda-stdlib/Relation/Binary/Sum.agdai application/octet-stream root:root 0o644 296.5 KB
/usr/share/agda-stdlib/Relation/Binary/NonStrictToStrict.agdai application/octet-stream root:root 0o644 79.3 KB
/usr/share/agda-stdlib/Relation/Binary/Simple.agdai application/octet-stream root:root 0o644 28.4 KB
/usr/share/agda-stdlib/Relation/Binary/Flip.agdai application/octet-stream root:root 0o644 132.3 KB
/usr/share/agda-stdlib/Relation/Binary/OrderMorphism.agdai application/octet-stream root:root 0o644 36.4 KB
/usr/share/agda-stdlib/Relation/Binary/StrictToNonStrict.agdai application/octet-stream root:root 0o644 73.1 KB
/usr/share/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agdai application/octet-stream root:root 0o644 27.2 KB
/usr/share/agda-stdlib/Relation/Nullary/ root:root 0o755
/usr/share/agda-stdlib/Relation/Nullary/Negation.agda text/plain root:root 0o644 6.6 KB
/usr/share/agda-stdlib/Relation/Nullary/Product.agda text/plain root:root 0o644 606 bytes
/usr/share/agda-stdlib/Relation/Nullary/Sum.agda text/plain root:root 0o644 839 bytes
/usr/share/agda-stdlib/Relation/Nullary/Universe.agda text/plain root:root 0o644 4.6 KB
/usr/share/agda-stdlib/Relation/Nullary/Decidable.agda text/plain root:root 0o644 2.1 KB
/usr/share/agda-stdlib/Relation/Nullary/Core.agda text/plain root:root 0o644 580 bytes
/usr/share/agda-stdlib/Relation/Nullary/Core.agdai application/octet-stream root:root 0o644 4.1 KB
/usr/share/agda-stdlib/Relation/Nullary/Decidable.agdai application/octet-stream root:root 0o644 35.1 KB
/usr/share/agda-stdlib/Relation/Nullary/Negation.agdai application/octet-stream root:root 0o644 69.9 KB
/usr/share/agda-stdlib/Relation/Nullary/Product.agdai application/octet-stream root:root 0o644 9.5 KB
/usr/share/agda-stdlib/Relation/Nullary/Sum.agdai application/octet-stream root:root 0o644 11.1 KB
/usr/share/agda-stdlib/Relation/Nullary/Universe.agdai application/octet-stream root:root 0o644 106.2 KB
/usr/share/agda-stdlib/Relation/Binary.agda text/plain root:root 0o644 10.4 KB
/usr/share/agda-stdlib/Relation/Nullary.agdai application/octet-stream root:root 0o644 1.6 KB
/usr/share/agda-stdlib/Relation/Binary.agdai application/octet-stream root:root 0o644 142.4 KB
/usr/share/agda-stdlib/Relation/Unary.agdai application/octet-stream root:root 0o644 36.5 KB
/usr/share/agda-stdlib/Size.agda text/plain root:root 0o644 386 bytes
/usr/share/agda-stdlib/Size.agdai application/octet-stream root:root 0o644 1.4 KB
/usr/share/agda-stdlib/Universe.agda text/plain root:root 0o644 850 bytes
/usr/share/agda-stdlib/Universe.agdai application/octet-stream root:root 0o644 11.4 KB
/usr/share/doc/ root:root 0o755
/usr/share/doc/agda-stdlib/ root:root 0o755
/usr/share/doc/agda-stdlib/copyright text/plain root:root 0o644 1.7 KB
/usr/share/doc/agda-stdlib/changelog.Debian.gz application/gzip root:root 0o644 1.5 KB