/usr/share/agda-stdlib/ is in agda-stdlib 0.7-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.agda
|
text/plain | root:root | 0o644 | 13.3 KB |
/usr/share/agda-stdlib/Algebra.agdai
|
application/octet-stream | root:root | 0o644 | 297.2 KB |
/usr/share/agda-stdlib/Algebra/FunctionProperties/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Algebra/FunctionProperties.agda
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/agda-stdlib/Algebra/FunctionProperties.agdai
|
application/octet-stream | root:root | 0o644 | 43.2 KB |
/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.7 KB |
/usr/share/agda-stdlib/Algebra/Morphism.agda
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/agda-stdlib/Algebra/Morphism.agdai
|
application/octet-stream | root:root | 0o644 | 138.7 KB |
/usr/share/agda-stdlib/Algebra/Operations.agda
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/agda-stdlib/Algebra/Operations.agdai
|
application/octet-stream | root:root | 0o644 | 129.1 KB |
/usr/share/agda-stdlib/Algebra/Props/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Algebra/Props/AbelianGroup.agda
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/agda-stdlib/Algebra/Props/AbelianGroup.agdai
|
application/octet-stream | root:root | 0o644 | 69.5 KB |
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra.agda
|
text/plain | root:root | 0o644 | 24.6 KB |
/usr/share/agda-stdlib/Algebra/Props/BooleanAlgebra.agdai
|
application/octet-stream | root:root | 0o644 | 329.9 KB |
/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 | 165.0 KB |
/usr/share/agda-stdlib/Algebra/Props/DistributiveLattice.agda
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/agda-stdlib/Algebra/Props/DistributiveLattice.agdai
|
application/octet-stream | root:root | 0o644 | 113.3 KB |
/usr/share/agda-stdlib/Algebra/Props/Group.agda
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/agda-stdlib/Algebra/Props/Group.agdai
|
application/octet-stream | root:root | 0o644 | 80.0 KB |
/usr/share/agda-stdlib/Algebra/Props/Lattice.agda
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/agda-stdlib/Algebra/Props/Lattice.agdai
|
application/octet-stream | root:root | 0o644 | 112.3 KB |
/usr/share/agda-stdlib/Algebra/Props/Ring.agda
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/agda-stdlib/Algebra/Props/Ring.agdai
|
application/octet-stream | root:root | 0o644 | 80.2 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Algebra/RingSolver.agda
|
text/plain | root:root | 0o644 | 22.3 KB |
/usr/share/agda-stdlib/Algebra/RingSolver.agdai
|
application/octet-stream | root:root | 0o644 | 361.3 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agda
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agdai
|
application/octet-stream | root:root | 0o644 | 226.6 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/Lemmas.agda
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/Lemmas.agdai
|
application/octet-stream | root:root | 0o644 | 136.5 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/Natural-coefficients.agda
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/Natural-coefficients.agdai
|
application/octet-stream | root:root | 0o644 | 140.3 KB |
/usr/share/agda-stdlib/Algebra/RingSolver/Simple.agda
|
text/plain | root:root | 0o644 | 644 bytes |
/usr/share/agda-stdlib/Algebra/RingSolver/Simple.agdai
|
application/octet-stream | root:root | 0o644 | 85.5 KB |
/usr/share/agda-stdlib/Algebra/Structures.agda
|
text/plain | root:root | 0o644 | 14.0 KB |
/usr/share/agda-stdlib/Algebra/Structures.agdai
|
application/octet-stream | root:root | 0o644 | 334.8 KB |
/usr/share/agda-stdlib/Category/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Category/Applicative/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Category/Applicative.agda
|
text/plain | root:root | 0o644 | 634 bytes |
/usr/share/agda-stdlib/Category/Applicative.agdai
|
application/octet-stream | root:root | 0o644 | 11.9 KB |
/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 | 54.9 KB |
/usr/share/agda-stdlib/Category/Functor.agda
|
text/plain | root:root | 0o644 | 548 bytes |
/usr/share/agda-stdlib/Category/Functor.agdai
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/share/agda-stdlib/Category/Monad/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Category/Monad.agda
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/agda-stdlib/Category/Monad.agdai
|
application/octet-stream | root:root | 0o644 | 26.6 KB |
/usr/share/agda-stdlib/Category/Monad/Continuation.agda
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/agda-stdlib/Category/Monad/Continuation.agdai
|
application/octet-stream | root:root | 0o644 | 44.9 KB |
/usr/share/agda-stdlib/Category/Monad/Identity.agda
|
text/plain | root:root | 0o644 | 453 bytes |
/usr/share/agda-stdlib/Category/Monad/Identity.agdai
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/share/agda-stdlib/Category/Monad/Indexed.agda
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/agda-stdlib/Category/Monad/Indexed.agdai
|
application/octet-stream | root:root | 0o644 | 34.6 KB |
/usr/share/agda-stdlib/Category/Monad/Partiality/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Category/Monad/Partiality.agda
|
text/plain | root:root | 0o644 | 34.9 KB |
/usr/share/agda-stdlib/Category/Monad/Partiality.agdai
|
application/octet-stream | root:root | 0o644 | 448.4 KB |
/usr/share/agda-stdlib/Category/Monad/Partiality/All.agda
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/agda-stdlib/Category/Monad/Partiality/All.agdai
|
application/octet-stream | root:root | 0o644 | 116.4 KB |
/usr/share/agda-stdlib/Category/Monad/State.agda
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/agda-stdlib/Category/Monad/State.agdai
|
application/octet-stream | root:root | 0o644 | 82.0 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.2 KB |
/usr/share/agda-stdlib/Data/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/AVL/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/AVL.agda
|
text/plain | root:root | 0o644 | 16.4 KB |
/usr/share/agda-stdlib/Data/AVL.agdai
|
application/octet-stream | root:root | 0o644 | 241.7 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 | 103.5 KB |
/usr/share/agda-stdlib/Data/AVL/Sets.agda
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/agda-stdlib/Data/AVL/Sets.agdai
|
application/octet-stream | root:root | 0o644 | 89.8 KB |
/usr/share/agda-stdlib/Data/Bin.agda
|
text/plain | root:root | 0o644 | 10.8 KB |
/usr/share/agda-stdlib/Data/Bin.agdai
|
application/octet-stream | root:root | 0o644 | 213.4 KB |
/usr/share/agda-stdlib/Data/Bool/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Bool.agda
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/agda-stdlib/Data/Bool.agdai
|
application/octet-stream | root:root | 0o644 | 41.1 KB |
/usr/share/agda-stdlib/Data/Bool/Properties.agda
|
text/plain | root:root | 0o644 | 9.1 KB |
/usr/share/agda-stdlib/Data/Bool/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 202.2 KB |
/usr/share/agda-stdlib/Data/Bool/Show.agda
|
text/plain | root:root | 0o644 | 339 bytes |
/usr/share/agda-stdlib/Data/Bool/Show.agdai
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/share/agda-stdlib/Data/BoundedVec/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/BoundedVec.agda
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/agda-stdlib/Data/BoundedVec.agdai
|
application/octet-stream | root:root | 0o644 | 46.2 KB |
/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.1 KB |
/usr/share/agda-stdlib/Data/Char.agda
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/agda-stdlib/Data/Char.agdai
|
application/octet-stream | root:root | 0o644 | 52.5 KB |
/usr/share/agda-stdlib/Data/Cofin.agda
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/agda-stdlib/Data/Cofin.agdai
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/share/agda-stdlib/Data/Colist.agda
|
text/plain | root:root | 0o644 | 8.9 KB |
/usr/share/agda-stdlib/Data/Colist.agdai
|
application/octet-stream | root:root | 0o644 | 156.1 KB |
/usr/share/agda-stdlib/Data/Conat.agda
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/agda-stdlib/Data/Conat.agdai
|
application/octet-stream | root:root | 0o644 | 39.6 KB |
/usr/share/agda-stdlib/Data/Container/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Container.agda
|
text/plain | root:root | 0o644 | 8.7 KB |
/usr/share/agda-stdlib/Data/Container.agdai
|
application/octet-stream | root:root | 0o644 | 131.9 KB |
/usr/share/agda-stdlib/Data/Container/Any.agda
|
text/plain | root:root | 0o644 | 10.8 KB |
/usr/share/agda-stdlib/Data/Container/Any.agdai
|
application/octet-stream | root:root | 0o644 | 190.7 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 | 84.6 KB |
/usr/share/agda-stdlib/Data/Covec.agda
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/agda-stdlib/Data/Covec.agdai
|
application/octet-stream | root:root | 0o644 | 94.6 KB |
/usr/share/agda-stdlib/Data/DifferenceList.agda
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/agda-stdlib/Data/DifferenceList.agdai
|
application/octet-stream | root:root | 0o644 | 25.9 KB |
/usr/share/agda-stdlib/Data/DifferenceNat.agda
|
text/plain | root:root | 0o644 | 724 bytes |
/usr/share/agda-stdlib/Data/DifferenceNat.agdai
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/share/agda-stdlib/Data/DifferenceVec.agda
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/agda-stdlib/Data/DifferenceVec.agdai
|
application/octet-stream | root:root | 0o644 | 27.5 KB |
/usr/share/agda-stdlib/Data/Digit.agda
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/agda-stdlib/Data/Digit.agdai
|
application/octet-stream | root:root | 0o644 | 72.6 KB |
/usr/share/agda-stdlib/Data/Empty.agda
|
text/plain | root:root | 0o644 | 400 bytes |
/usr/share/agda-stdlib/Data/Empty.agdai
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/share/agda-stdlib/Data/Fin/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Fin.agda
|
text/plain | root:root | 0o644 | 5.5 KB |
/usr/share/agda-stdlib/Data/Fin.agdai
|
application/octet-stream | root:root | 0o644 | 82.7 KB |
/usr/share/agda-stdlib/Data/Fin/Dec.agda
|
text/plain | root:root | 0o644 | 6.0 KB |
/usr/share/agda-stdlib/Data/Fin/Dec.agdai
|
application/octet-stream | root:root | 0o644 | 129.2 KB |
/usr/share/agda-stdlib/Data/Fin/Props.agda
|
text/plain | root:root | 0o644 | 9.1 KB |
/usr/share/agda-stdlib/Data/Fin/Props.agdai
|
application/octet-stream | root:root | 0o644 | 207.0 KB |
/usr/share/agda-stdlib/Data/Fin/Subset/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Fin/Subset.agda
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/agda-stdlib/Data/Fin/Subset.agdai
|
application/octet-stream | root:root | 0o644 | 93.1 KB |
/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 | 157.2 KB |
/usr/share/agda-stdlib/Data/Fin/Substitution/
|
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.agdai
|
application/octet-stream | root:root | 0o644 | 66.6 KB |
/usr/share/agda-stdlib/Data/Fin/Substitution/Example.agda
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/agda-stdlib/Data/Fin/Substitution/Example.agdai
|
application/octet-stream | root:root | 0o644 | 112.0 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/Lemmas.agdai
|
application/octet-stream | root:root | 0o644 | 515.1 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/List.agdai
|
application/octet-stream | root:root | 0o644 | 82.8 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 | 121.4 KB |
/usr/share/agda-stdlib/Data/Integer/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Integer.agda
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/agda-stdlib/Data/Integer.agdai
|
application/octet-stream | root:root | 0o644 | 110.1 KB |
/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 | 130.0 KB |
/usr/share/agda-stdlib/Data/Integer/Divisibility.agda
|
text/plain | root:root | 0o644 | 897 bytes |
/usr/share/agda-stdlib/Data/Integer/Divisibility.agdai
|
application/octet-stream | root:root | 0o644 | 46.8 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 | 123.1 KB |
/usr/share/agda-stdlib/Data/Integer/Properties.agda
|
text/plain | root:root | 0o644 | 12.6 KB |
/usr/share/agda-stdlib/Data/Integer/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 297.9 KB |
/usr/share/agda-stdlib/Data/List/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/List.agda
|
text/plain | root:root | 0o644 | 8.7 KB |
/usr/share/agda-stdlib/Data/List.agdai
|
application/octet-stream | root:root | 0o644 | 162.5 KB |
/usr/share/agda-stdlib/Data/List/All/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/List/All.agda
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/agda-stdlib/Data/List/All.agdai
|
application/octet-stream | root:root | 0o644 | 44.5 KB |
/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 | 81.0 KB |
/usr/share/agda-stdlib/Data/List/Any/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/List/Any.agda
|
text/plain | root:root | 0o644 | 7.3 KB |
/usr/share/agda-stdlib/Data/List/Any.agdai
|
application/octet-stream | root:root | 0o644 | 125.3 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/BagAndSetEquality.agdai
|
application/octet-stream | root:root | 0o644 | 248.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/Membership.agdai
|
application/octet-stream | root:root | 0o644 | 298.6 KB |
/usr/share/agda-stdlib/Data/List/Any/Properties.agda
|
text/plain | root:root | 0o644 | 25.3 KB |
/usr/share/agda-stdlib/Data/List/Any/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 421.0 KB |
/usr/share/agda-stdlib/Data/List/Countdown.agda
|
text/plain | root:root | 0o644 | 10.7 KB |
/usr/share/agda-stdlib/Data/List/Countdown.agdai
|
application/octet-stream | root:root | 0o644 | 176.6 KB |
/usr/share/agda-stdlib/Data/List/NonEmpty/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/List/NonEmpty.agda
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/agda-stdlib/Data/List/NonEmpty.agdai
|
application/octet-stream | root:root | 0o644 | 75.4 KB |
/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.2 KB |
/usr/share/agda-stdlib/Data/List/Properties.agda
|
text/plain | root:root | 0o644 | 21.5 KB |
/usr/share/agda-stdlib/Data/List/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 336.9 KB |
/usr/share/agda-stdlib/Data/List/Reverse.agda
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/agda-stdlib/Data/List/Reverse.agdai
|
application/octet-stream | root:root | 0o644 | 41.4 KB |
/usr/share/agda-stdlib/Data/M.agda
|
text/plain | root:root | 0o644 | 652 bytes |
/usr/share/agda-stdlib/Data/M.agdai
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/share/agda-stdlib/Data/Maybe/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Maybe.agda
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/agda-stdlib/Data/Maybe.agdai
|
application/octet-stream | root:root | 0o644 | 94.6 KB |
/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/Nat/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Nat.agda
|
text/plain | root:root | 0o644 | 6.7 KB |
/usr/share/agda-stdlib/Data/Nat.agdai
|
application/octet-stream | root:root | 0o644 | 100.2 KB |
/usr/share/agda-stdlib/Data/Nat/Coprimality.agda
|
text/plain | root:root | 0o644 | 5.9 KB |
/usr/share/agda-stdlib/Data/Nat/Coprimality.agdai
|
application/octet-stream | root:root | 0o644 | 165.5 KB |
/usr/share/agda-stdlib/Data/Nat/DivMod.agda
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/agda-stdlib/Data/Nat/DivMod.agdai
|
application/octet-stream | root:root | 0o644 | 69.1 KB |
/usr/share/agda-stdlib/Data/Nat/Divisibility.agda
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/share/agda-stdlib/Data/Nat/Divisibility.agdai
|
application/octet-stream | root:root | 0o644 | 172.6 KB |
/usr/share/agda-stdlib/Data/Nat/GCD/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Nat/GCD.agda
|
text/plain | root:root | 0o644 | 6.2 KB |
/usr/share/agda-stdlib/Data/Nat/GCD.agdai
|
application/octet-stream | root:root | 0o644 | 104.3 KB |
/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 | 123.0 KB |
/usr/share/agda-stdlib/Data/Nat/InfinitelyOften.agda
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/agda-stdlib/Data/Nat/InfinitelyOften.agdai
|
application/octet-stream | root:root | 0o644 | 105.1 KB |
/usr/share/agda-stdlib/Data/Nat/LCM.agda
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/agda-stdlib/Data/Nat/LCM.agdai
|
application/octet-stream | root:root | 0o644 | 150.0 KB |
/usr/share/agda-stdlib/Data/Nat/Primality.agda
|
text/plain | root:root | 0o644 | 946 bytes |
/usr/share/agda-stdlib/Data/Nat/Primality.agdai
|
application/octet-stream | root:root | 0o644 | 25.6 KB |
/usr/share/agda-stdlib/Data/Nat/Properties.agda
|
text/plain | root:root | 0o644 | 21.7 KB |
/usr/share/agda-stdlib/Data/Nat/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 333.7 KB |
/usr/share/agda-stdlib/Data/Nat/Show.agda
|
text/plain | root:root | 0o644 | 1015 bytes |
/usr/share/agda-stdlib/Data/Nat/Show.agdai
|
application/octet-stream | root:root | 0o644 | 22.9 KB |
/usr/share/agda-stdlib/Data/Plus.agda
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/agda-stdlib/Data/Plus.agdai
|
application/octet-stream | root:root | 0o644 | 45.4 KB |
/usr/share/agda-stdlib/Data/Product/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Product.agda
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/agda-stdlib/Data/Product.agdai
|
application/octet-stream | root:root | 0o644 | 38.1 KB |
/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.9 KB |
/usr/share/agda-stdlib/Data/Rational.agda
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/agda-stdlib/Data/Rational.agdai
|
application/octet-stream | root:root | 0o644 | 105.2 KB |
/usr/share/agda-stdlib/Data/ReflexiveClosure.agda
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/agda-stdlib/Data/ReflexiveClosure.agdai
|
application/octet-stream | root:root | 0o644 | 34.6 KB |
/usr/share/agda-stdlib/Data/Sign/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Sign.agda
|
text/plain | root:root | 0o644 | 695 bytes |
/usr/share/agda-stdlib/Data/Sign.agdai
|
application/octet-stream | root:root | 0o644 | 30.6 KB |
/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.7 KB |
/usr/share/agda-stdlib/Data/Star/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Star.agda
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/agda-stdlib/Data/Star.agdai
|
application/octet-stream | root:root | 0o644 | 62.3 KB |
/usr/share/agda-stdlib/Data/Star/BoundedVec.agda
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/agda-stdlib/Data/Star/BoundedVec.agdai
|
application/octet-stream | root:root | 0o644 | 57.4 KB |
/usr/share/agda-stdlib/Data/Star/Decoration.agda
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/agda-stdlib/Data/Star/Decoration.agdai
|
application/octet-stream | root:root | 0o644 | 56.4 KB |
/usr/share/agda-stdlib/Data/Star/Environment.agda
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/agda-stdlib/Data/Star/Environment.agdai
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/share/agda-stdlib/Data/Star/Fin.agda
|
text/plain | root:root | 0o644 | 623 bytes |
/usr/share/agda-stdlib/Data/Star/Fin.agdai
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/share/agda-stdlib/Data/Star/List.agda
|
text/plain | root:root | 0o644 | 663 bytes |
/usr/share/agda-stdlib/Data/Star/List.agdai
|
application/octet-stream | root:root | 0o644 | 9.7 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 | 35.7 KB |
/usr/share/agda-stdlib/Data/Star/Pointer.agda
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/agda-stdlib/Data/Star/Pointer.agdai
|
application/octet-stream | root:root | 0o644 | 61.8 KB |
/usr/share/agda-stdlib/Data/Star/Properties.agda
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/agda-stdlib/Data/Star/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 73.2 KB |
/usr/share/agda-stdlib/Data/Star/Vec.agda
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/agda-stdlib/Data/Star/Vec.agdai
|
application/octet-stream | root:root | 0o644 | 46.6 KB |
/usr/share/agda-stdlib/Data/Stream.agda
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/agda-stdlib/Data/Stream.agdai
|
application/octet-stream | root:root | 0o644 | 79.6 KB |
/usr/share/agda-stdlib/Data/String.agda
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/agda-stdlib/Data/String.agdai
|
application/octet-stream | root:root | 0o644 | 61.1 KB |
/usr/share/agda-stdlib/Data/Sum.agda
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/agda-stdlib/Data/Sum.agdai
|
application/octet-stream | root:root | 0o644 | 18.1 KB |
/usr/share/agda-stdlib/Data/Unit/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Unit.agda
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/agda-stdlib/Data/Unit.agdai
|
application/octet-stream | root:root | 0o644 | 35.8 KB |
/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/Vec/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Data/Vec.agda
|
text/plain | root:root | 0o644 | 7.4 KB |
/usr/share/agda-stdlib/Data/Vec.agdai
|
application/octet-stream | root:root | 0o644 | 111.0 KB |
/usr/share/agda-stdlib/Data/Vec/Equality.agda
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/agda-stdlib/Data/Vec/Equality.agdai
|
application/octet-stream | root:root | 0o644 | 84.8 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 | 105.7 KB |
/usr/share/agda-stdlib/Data/Vec/Properties.agda
|
text/plain | root:root | 0o644 | 13.7 KB |
/usr/share/agda-stdlib/Data/Vec/Properties.agdai
|
application/octet-stream | root:root | 0o644 | 260.6 KB |
/usr/share/agda-stdlib/Data/W.agda
|
text/plain | root:root | 0o644 | 846 bytes |
/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.agda
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/agda-stdlib/Function.agdai
|
application/octet-stream | root:root | 0o644 | 24.6 KB |
/usr/share/agda-stdlib/Function/Bijection.agda
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/agda-stdlib/Function/Bijection.agdai
|
application/octet-stream | root:root | 0o644 | 57.0 KB |
/usr/share/agda-stdlib/Function/Equality.agda
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/agda-stdlib/Function/Equality.agdai
|
application/octet-stream | root:root | 0o644 | 57.7 KB |
/usr/share/agda-stdlib/Function/Equivalence.agda
|
text/plain | root:root | 0o644 | 3.6 KB |
/usr/share/agda-stdlib/Function/Equivalence.agdai
|
application/octet-stream | root:root | 0o644 | 67.0 KB |
/usr/share/agda-stdlib/Function/Injection.agda
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/agda-stdlib/Function/Injection.agdai
|
application/octet-stream | root:root | 0o644 | 51.9 KB |
/usr/share/agda-stdlib/Function/Inverse.agda
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/agda-stdlib/Function/Inverse.agdai
|
application/octet-stream | root:root | 0o644 | 109.0 KB |
/usr/share/agda-stdlib/Function/LeftInverse.agda
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/agda-stdlib/Function/LeftInverse.agdai
|
application/octet-stream | root:root | 0o644 | 82.2 KB |
/usr/share/agda-stdlib/Function/Related/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Function/Related.agda
|
text/plain | root:root | 0o644 | 13.1 KB |
/usr/share/agda-stdlib/Function/Related.agdai
|
application/octet-stream | root:root | 0o644 | 140.4 KB |
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms.agda
|
text/plain | root:root | 0o644 | 16.5 KB |
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms.agdai
|
application/octet-stream | root:root | 0o644 | 337.6 KB |
/usr/share/agda-stdlib/Function/Surjection.agda
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/agda-stdlib/Function/Surjection.agdai
|
application/octet-stream | root:root | 0o644 | 65.6 KB |
/usr/share/agda-stdlib/IO/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/IO.agda
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/agda-stdlib/IO.agdai
|
application/octet-stream | root:root | 0o644 | 42.4 KB |
/usr/share/agda-stdlib/IO/Primitive.agda
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/agda-stdlib/IO/Primitive.agdai
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/share/agda-stdlib/Induction/
|
root:root | 0o755 | ||
/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.4 KB |
/usr/share/agda-stdlib/Induction/Lexicographic.agda
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/agda-stdlib/Induction/Lexicographic.agdai
|
application/octet-stream | root:root | 0o644 | 32.9 KB |
/usr/share/agda-stdlib/Induction/Nat.agda
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/agda-stdlib/Induction/Nat.agdai
|
application/octet-stream | root:root | 0o644 | 47.0 KB |
/usr/share/agda-stdlib/Induction/WellFounded.agda
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/agda-stdlib/Induction/WellFounded.agdai
|
application/octet-stream | root:root | 0o644 | 64.0 KB |
/usr/share/agda-stdlib/Irrelevance.agda
|
text/plain | root:root | 0o644 | 533 bytes |
/usr/share/agda-stdlib/Irrelevance.agdai
|
application/octet-stream | root:root | 0o644 | 1.9 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.0 KB |
/usr/share/agda-stdlib/Record.agda
|
text/plain | root:root | 0o644 | 8.2 KB |
/usr/share/agda-stdlib/Record.agdai
|
application/octet-stream | root:root | 0o644 | 116.8 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 | 156.8 KB |
/usr/share/agda-stdlib/Relation/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary.agda
|
text/plain | root:root | 0o644 | 10.4 KB |
/usr/share/agda-stdlib/Relation/Binary.agdai
|
application/octet-stream | root:root | 0o644 | 155.1 KB |
/usr/share/agda-stdlib/Relation/Binary/Consequences/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/Consequences.agda
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/agda-stdlib/Relation/Binary/Consequences.agdai
|
application/octet-stream | root:root | 0o644 | 52.5 KB |
/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.4 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 | 53.2 KB |
/usr/share/agda-stdlib/Relation/Binary/EqReasoning.agda
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/agda-stdlib/Relation/Binary/EqReasoning.agdai
|
application/octet-stream | root:root | 0o644 | 29.1 KB |
/usr/share/agda-stdlib/Relation/Binary/Flip.agda
|
text/plain | root:root | 0o644 | 7.6 KB |
/usr/share/agda-stdlib/Relation/Binary/Flip.agdai
|
application/octet-stream | root:root | 0o644 | 135.7 KB |
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality.agda
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality.agdai
|
application/octet-stream | root:root | 0o644 | 91.3 KB |
/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.1 KB |
/usr/share/agda-stdlib/Relation/Binary/Indexed/
|
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/Indexed.agdai
|
application/octet-stream | root:root | 0o644 | 30.8 KB |
/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 | 24.9 KB |
/usr/share/agda-stdlib/Relation/Binary/InducedPreorders.agda
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/agda-stdlib/Relation/Binary/InducedPreorders.agdai
|
application/octet-stream | root:root | 0o644 | 34.5 KB |
/usr/share/agda-stdlib/Relation/Binary/List/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/List/NonStrictLex.agda
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/agda-stdlib/Relation/Binary/List/NonStrictLex.agdai
|
application/octet-stream | root:root | 0o644 | 94.0 KB |
/usr/share/agda-stdlib/Relation/Binary/List/Pointwise.agda
|
text/plain | root:root | 0o644 | 7.0 KB |
/usr/share/agda-stdlib/Relation/Binary/List/Pointwise.agdai
|
application/octet-stream | root:root | 0o644 | 114.0 KB |
/usr/share/agda-stdlib/Relation/Binary/List/StrictLex.agda
|
text/plain | root:root | 0o644 | 12.9 KB |
/usr/share/agda-stdlib/Relation/Binary/List/StrictLex.agdai
|
application/octet-stream | root:root | 0o644 | 186.2 KB |
/usr/share/agda-stdlib/Relation/Binary/NonStrictToStrict.agda
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/agda-stdlib/Relation/Binary/NonStrictToStrict.agdai
|
application/octet-stream | root:root | 0o644 | 80.7 KB |
/usr/share/agda-stdlib/Relation/Binary/On.agda
|
text/plain | root:root | 0o644 | 8.0 KB |
/usr/share/agda-stdlib/Relation/Binary/On.agdai
|
application/octet-stream | root:root | 0o644 | 118.8 KB |
/usr/share/agda-stdlib/Relation/Binary/OrderMorphism.agda
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/agda-stdlib/Relation/Binary/OrderMorphism.agdai
|
application/octet-stream | root:root | 0o644 | 42.5 KB |
/usr/share/agda-stdlib/Relation/Binary/PartialOrderReasoning.agda
|
text/plain | root:root | 0o644 | 511 bytes |
/usr/share/agda-stdlib/Relation/Binary/PartialOrderReasoning.agdai
|
application/octet-stream | root:root | 0o644 | 30.3 KB |
/usr/share/agda-stdlib/Relation/Binary/PreorderReasoning.agda
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/agda-stdlib/Relation/Binary/PreorderReasoning.agdai
|
application/octet-stream | root:root | 0o644 | 32.9 KB |
/usr/share/agda-stdlib/Relation/Binary/Product/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/Product/NonStrictLex.agda
|
text/plain | root:root | 0o644 | 8.2 KB |
/usr/share/agda-stdlib/Relation/Binary/Product/NonStrictLex.agdai
|
application/octet-stream | root:root | 0o644 | 108.5 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 | 197.9 KB |
/usr/share/agda-stdlib/Relation/Binary/Product/StrictLex.agda
|
text/plain | root:root | 0o644 | 13.5 KB |
/usr/share/agda-stdlib/Relation/Binary/Product/StrictLex.agdai
|
application/octet-stream | root:root | 0o644 | 139.5 KB |
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality.agda
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality.agdai
|
application/octet-stream | root:root | 0o644 | 80.0 KB |
/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.4 KB |
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda
|
text/plain | root:root | 0o644 | 637 bytes |
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai
|
application/octet-stream | root:root | 0o644 | 7.0 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Binary/Props/DecTotalOrder.agda
|
text/plain | root:root | 0o644 | 865 bytes |
/usr/share/agda-stdlib/Relation/Binary/Props/DecTotalOrder.agdai
|
application/octet-stream | root:root | 0o644 | 43.8 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/Poset.agda
|
text/plain | root:root | 0o644 | 910 bytes |
/usr/share/agda-stdlib/Relation/Binary/Props/Poset.agdai
|
application/octet-stream | root:root | 0o644 | 36.8 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/Preorder.agda
|
text/plain | root:root | 0o644 | 800 bytes |
/usr/share/agda-stdlib/Relation/Binary/Props/Preorder.agdai
|
application/octet-stream | root:root | 0o644 | 31.9 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agda
|
text/plain | root:root | 0o644 | 976 bytes |
/usr/share/agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agdai
|
application/octet-stream | root:root | 0o644 | 36.2 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agda
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agdai
|
application/octet-stream | root:root | 0o644 | 45.3 KB |
/usr/share/agda-stdlib/Relation/Binary/Props/TotalOrder.agda
|
text/plain | root:root | 0o644 | 687 bytes |
/usr/share/agda-stdlib/Relation/Binary/Props/TotalOrder.agdai
|
application/octet-stream | root:root | 0o644 | 29.9 KB |
/usr/share/agda-stdlib/Relation/Binary/Reflection.agda
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/agda-stdlib/Relation/Binary/Reflection.agdai
|
application/octet-stream | root:root | 0o644 | 77.0 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 | 210.2 KB |
/usr/share/agda-stdlib/Relation/Binary/Simple.agda
|
text/plain | root:root | 0o644 | 840 bytes |
/usr/share/agda-stdlib/Relation/Binary/Simple.agdai
|
application/octet-stream | root:root | 0o644 | 28.5 KB |
/usr/share/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agda
|
text/plain | root:root | 0o644 | 588 bytes |
/usr/share/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agdai
|
application/octet-stream | root:root | 0o644 | 27.0 KB |
/usr/share/agda-stdlib/Relation/Binary/StrictToNonStrict.agda
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/agda-stdlib/Relation/Binary/StrictToNonStrict.agdai
|
application/octet-stream | root:root | 0o644 | 73.2 KB |
/usr/share/agda-stdlib/Relation/Binary/Sum.agda
|
text/plain | root:root | 0o644 | 26.6 KB |
/usr/share/agda-stdlib/Relation/Binary/Sum.agdai
|
application/octet-stream | root:root | 0o644 | 306.4 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 | 8.4 KB |
/usr/share/agda-stdlib/Relation/Binary/Vec/Pointwise.agdai
|
application/octet-stream | root:root | 0o644 | 154.4 KB |
/usr/share/agda-stdlib/Relation/Nullary/
|
root:root | 0o755 | ||
/usr/share/agda-stdlib/Relation/Nullary.agda
|
text/plain | root:root | 0o644 | 634 bytes |
/usr/share/agda-stdlib/Relation/Nullary.agdai
|
application/octet-stream | root:root | 0o644 | 1.6 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.0 KB |
/usr/share/agda-stdlib/Relation/Nullary/Decidable.agda
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/agda-stdlib/Relation/Nullary/Decidable.agdai
|
application/octet-stream | root:root | 0o644 | 38.2 KB |
/usr/share/agda-stdlib/Relation/Nullary/Implication.agda
|
text/plain | root:root | 0o644 | 618 bytes |
/usr/share/agda-stdlib/Relation/Nullary/Implication.agdai
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/share/agda-stdlib/Relation/Nullary/Negation.agda
|
text/plain | root:root | 0o644 | 6.6 KB |
/usr/share/agda-stdlib/Relation/Nullary/Negation.agdai
|
application/octet-stream | root:root | 0o644 | 67.8 KB |
/usr/share/agda-stdlib/Relation/Nullary/Product.agda
|
text/plain | root:root | 0o644 | 606 bytes |
/usr/share/agda-stdlib/Relation/Nullary/Product.agdai
|
application/octet-stream | root:root | 0o644 | 9.5 KB |
/usr/share/agda-stdlib/Relation/Nullary/Sum.agda
|
text/plain | root:root | 0o644 | 839 bytes |
/usr/share/agda-stdlib/Relation/Nullary/Sum.agdai
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/share/agda-stdlib/Relation/Nullary/Universe.agda
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/agda-stdlib/Relation/Nullary/Universe.agdai
|
application/octet-stream | root:root | 0o644 | 105.9 KB |
/usr/share/agda-stdlib/Relation/Unary.agda
|
text/plain | root:root | 0o644 | 3.6 KB |
/usr/share/agda-stdlib/Relation/Unary.agdai
|
application/octet-stream | root:root | 0o644 | 34.1 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.3 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.8 KB |