/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 |