agda-stdlib_0.17-1_all.deb


Advertisement

Description

agda-stdlib - standard library for Agda

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename agda-stdlib_0.17-1_all.deb
Package name agda-stdlib
Package version 0.17
Package release 1
Package architecture all
Package type deb
Category libs role::shared-lib
Homepage http://wiki.portal.chalmers.se/agda/
License -
Maintainer Iain Lane <laney@debian.org>
Download size 31.49 MB
Installed size 42.59 MB
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
The Agda standard library contains modules for many common data structures and
proof patterns. Modules provided include:
- Algebra: Specifying and reasoning about abstract algebraic structures
- Category: Using idioms from category theory to structure functional programs
- Coinduction: Support for programming coindutively
- Data: Data types and properties about data types
- Foreign: Relating to the foreign function interface
- Induction: A general framework for induction
- IO: Input/output related functions
- Level: Universe levels
- Relations: Properties of and proofs about relations
- Size: Sizes used by the sized types mechanism
This package contains the complete library.

Alternatives

Package Version Architecture Repository
agda-stdlib_0.17-1_all.deb 0.17 all Debian Main
agda-stdlib - - -

Requires

Name Value
libghc-agda-dev >= 2.5.4.1
libghc-agda-dev << 2.5.5~

Download

Type URL
Mirror ftp.br.debian.org
Binary Package agda-stdlib_0.17-1_all.deb
Source Package agda-stdlib

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install agda-stdlib deb package:
    # sudo apt-get install agda-stdlib

Files

Path
/etc/emacs/site-start.d/60agda-stdlib.el
/usr/share/agda-stdlib/Algebra.agda
/usr/share/agda-stdlib/Algebra.agdai
/usr/share/agda-stdlib/Function.agda
/usr/share/agda-stdlib/Function.agdai
/usr/share/agda-stdlib/IO.agda
/usr/share/agda-stdlib/IO.agdai
/usr/share/agda-stdlib/Induction.agda
/usr/share/agda-stdlib/Induction.agdai
/usr/share/agda-stdlib/Level.agda
/usr/share/agda-stdlib/Level.agdai
/usr/share/agda-stdlib/Record.agda
/usr/share/agda-stdlib/Record.agdai
/usr/share/agda-stdlib/Reflection.agda
/usr/share/agda-stdlib/Reflection.agdai
/usr/share/agda-stdlib/Size.agda
/usr/share/agda-stdlib/Size.agdai
/usr/share/agda-stdlib/Strict.agda
/usr/share/agda-stdlib/Strict.agdai
/usr/share/agda-stdlib/Universe.agda
/usr/share/agda-stdlib/Universe.agdai
/usr/share/agda-stdlib/Algebra/FunctionProperties.agda
/usr/share/agda-stdlib/Algebra/FunctionProperties.agdai
/usr/share/agda-stdlib/Algebra/Morphism.agda
/usr/share/agda-stdlib/Algebra/Morphism.agdai
/usr/share/agda-stdlib/Algebra/Structures.agda
/usr/share/agda-stdlib/Algebra/Structures.agdai
/usr/share/agda-stdlib/Algebra/FunctionProperties/Consequences.agda
/usr/share/agda-stdlib/Algebra/FunctionProperties/Consequences.agdai
/usr/share/agda-stdlib/Algebra/FunctionProperties/Core.agda
/usr/share/agda-stdlib/Algebra/FunctionProperties/Core.agdai
/usr/share/agda-stdlib/Algebra/Operations/CommutativeMonoid.agda
/usr/share/agda-stdlib/Algebra/Operations/CommutativeMonoid.agdai
/usr/share/agda-stdlib/Algebra/Operations/Semiring.agda
/usr/share/agda-stdlib/Algebra/Operations/Semiring.agdai
/usr/share/agda-stdlib/Algebra/Properties/AbelianGroup.agda
/usr/share/agda-stdlib/Algebra/Properties/AbelianGroup.agdai
/usr/share/agda-stdlib/Algebra/Properties/BooleanAlgebra.agda
/usr/share/agda-stdlib/Algebra/Properties/BooleanAlgebra.agdai
/usr/share/agda-stdlib/Algebra/Properties/CommutativeMonoid.agda
/usr/share/agda-stdlib/Algebra/Properties/CommutativeMonoid.agdai
/usr/share/agda-stdlib/Algebra/Properties/DistributiveLattice.agda
/usr/share/agda-stdlib/Algebra/Properties/DistributiveLattice.agdai
/usr/share/agda-stdlib/Algebra/Properties/Group.agda
/usr/share/agda-stdlib/Algebra/Properties/Group.agdai
/usr/share/agda-stdlib/Algebra/Properties/Lattice.agda
/usr/share/agda-stdlib/Algebra/Properties/Lattice.agdai
/usr/share/agda-stdlib/Algebra/Properties/Ring.agda
/usr/share/agda-stdlib/Algebra/Properties/Ring.agdai
/usr/share/agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agda
/usr/share/agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agdai
/usr/share/agda-stdlib/Algebra/Solver/CommutativeMonoid.agda
/usr/share/agda-stdlib/Algebra/Solver/CommutativeMonoid.agdai
/usr/share/agda-stdlib/Algebra/Solver/IdempotentCommutativeMonoid.agda
/usr/share/agda-stdlib/Algebra/Solver/IdempotentCommutativeMonoid.agdai
/usr/share/agda-stdlib/Algebra/Solver/Monoid.agda
/usr/share/agda-stdlib/Algebra/Solver/Monoid.agdai
/usr/share/agda-stdlib/Algebra/Solver/Ring.agda
/usr/share/agda-stdlib/Algebra/Solver/Ring.agdai
/usr/share/agda-stdlib/Algebra/Solver/CommutativeMonoid/Example.agda
/usr/share/agda-stdlib/Algebra/Solver/CommutativeMonoid/Example.agdai
/usr/share/agda-stdlib/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda
/usr/share/agda-stdlib/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai
/usr/share/agda-stdlib/Algebra/Solver/Ring/AlmostCommutativeRing.agda
/usr/share/agda-stdlib/Algebra/Solver/Ring/AlmostCommutativeRing.agdai
/usr/share/agda-stdlib/Algebra/Solver/Ring/Lemmas.agda
/usr/share/agda-stdlib/Algebra/Solver/Ring/Lemmas.agdai
/usr/share/agda-stdlib/Algebra/Solver/Ring/NaturalCoefficients.agda
/usr/share/agda-stdlib/Algebra/Solver/Ring/NaturalCoefficients.agdai
/usr/share/agda-stdlib/Algebra/Solver/Ring/Simple.agda
/usr/share/agda-stdlib/Algebra/Solver/Ring/Simple.agdai
/usr/share/agda-stdlib/Category/Applicative.agda
/usr/share/agda-stdlib/Category/Applicative.agdai
/usr/share/agda-stdlib/Category/Comonad.agda
/usr/share/agda-stdlib/Category/Comonad.agdai
/usr/share/agda-stdlib/Category/Functor.agda
/usr/share/agda-stdlib/Category/Functor.agdai
/usr/share/agda-stdlib/Category/Monad.agda
/usr/share/agda-stdlib/Category/Monad.agdai
/usr/share/agda-stdlib/Category/Applicative/Indexed.agda
/usr/share/agda-stdlib/Category/Applicative/Indexed.agdai
/usr/share/agda-stdlib/Category/Applicative/Predicate.agda
/usr/share/agda-stdlib/Category/Applicative/Predicate.agdai
/usr/share/agda-stdlib/Category/Functor/Predicate.agda
/usr/share/agda-stdlib/Category/Functor/Predicate.agdai
/usr/share/agda-stdlib/Category/Monad/Continuation.agda
/usr/share/agda-stdlib/Category/Monad/Continuation.agdai
/usr/share/agda-stdlib/Category/Monad/Indexed.agda
/usr/share/agda-stdlib/Category/Monad/Indexed.agdai
/usr/share/agda-stdlib/Category/Monad/Partiality.agda
/usr/share/agda-stdlib/Category/Monad/Partiality.agdai
/usr/share/agda-stdlib/Category/Monad/Predicate.agda
/usr/share/agda-stdlib/Category/Monad/Predicate.agdai
/usr/share/agda-stdlib/Category/Monad/State.agda
/usr/share/agda-stdlib/Category/Monad/State.agdai
/usr/share/agda-stdlib/Category/Monad/Partiality/All.agda
/usr/share/agda-stdlib/Category/Monad/Partiality/All.agdai
/usr/share/agda-stdlib/Codata/Cofin.agda
/usr/share/agda-stdlib/Codata/Cofin.agdai
/usr/share/agda-stdlib/Codata/Colist.agda
/usr/share/agda-stdlib/Codata/Colist.agdai
/usr/share/agda-stdlib/Codata/Conat.agda
/usr/share/agda-stdlib/Codata/Conat.agdai
/usr/share/agda-stdlib/Codata/Covec.agda
/usr/share/agda-stdlib/Codata/Covec.agdai
/usr/share/agda-stdlib/Codata/Delay.agda
/usr/share/agda-stdlib/Codata/Delay.agdai
/usr/share/agda-stdlib/Codata/M.agda
/usr/share/agda-stdlib/Codata/M.agdai
/usr/share/agda-stdlib/Codata/Stream.agda
/usr/share/agda-stdlib/Codata/Stream.agdai
/usr/share/agda-stdlib/Codata/Thunk.agda
/usr/share/agda-stdlib/Codata/Thunk.agdai
/usr/share/agda-stdlib/Codata/Cofin/Literals.agda
/usr/share/agda-stdlib/Codata/Cofin/Literals.agdai
/usr/share/agda-stdlib/Codata/Colist/Bisimilarity.agda
/usr/share/agda-stdlib/Codata/Colist/Bisimilarity.agdai
/usr/share/agda-stdlib/Codata/Colist/Categorical.agda
/usr/share/agda-stdlib/Codata/Colist/Categorical.agdai
/usr/share/agda-stdlib/Codata/Colist/Properties.agda
/usr/share/agda-stdlib/Codata/Colist/Properties.agdai
/usr/share/agda-stdlib/Codata/Conat/Bisimilarity.agda
/usr/share/agda-stdlib/Codata/Conat/Bisimilarity.agdai
/usr/share/agda-stdlib/Codata/Conat/Literals.agda
/usr/share/agda-stdlib/Codata/Conat/Literals.agdai
/usr/share/agda-stdlib/Codata/Conat/Properties.agda
/usr/share/agda-stdlib/Codata/Conat/Properties.agdai
/usr/share/agda-stdlib/Codata/Covec/Bisimilarity.agda
/usr/share/agda-stdlib/Codata/Covec/Bisimilarity.agdai
/usr/share/agda-stdlib/Codata/Covec/Categorical.agda
/usr/share/agda-stdlib/Codata/Covec/Categorical.agdai
/usr/share/agda-stdlib/Codata/Covec/Properties.agda
/usr/share/agda-stdlib/Codata/Covec/Properties.agdai
/usr/share/agda-stdlib/Codata/Delay/Bisimilarity.agda
/usr/share/agda-stdlib/Codata/Delay/Bisimilarity.agdai
/usr/share/agda-stdlib/Codata/Delay/Categorical.agda
/usr/share/agda-stdlib/Codata/Delay/Categorical.agdai
/usr/share/agda-stdlib/Codata/Delay/Properties.agda
/usr/share/agda-stdlib/Codata/Delay/Properties.agdai
/usr/share/agda-stdlib/Codata/Musical/Cofin.agda
/usr/share/agda-stdlib/Codata/Musical/Cofin.agdai
/usr/share/agda-stdlib/Codata/Musical/Colist.agda
/usr/share/agda-stdlib/Codata/Musical/Colist.agdai
/usr/share/agda-stdlib/Codata/Musical/Conat.agda
/usr/share/agda-stdlib/Codata/Musical/Conat.agdai
/usr/share/agda-stdlib/Codata/Musical/Costring.agda
/usr/share/agda-stdlib/Codata/Musical/Costring.agdai
/usr/share/agda-stdlib/Codata/Musical/Covec.agda
/usr/share/agda-stdlib/Codata/Musical/Covec.agdai
/usr/share/agda-stdlib/Codata/Musical/M.agda
/usr/share/agda-stdlib/Codata/Musical/M.agdai
/usr/share/agda-stdlib/Codata/Musical/Notation.agda
/usr/share/agda-stdlib/Codata/Musical/Notation.agdai
/usr/share/agda-stdlib/Codata/Musical/Stream.agda
/usr/share/agda-stdlib/Codata/Musical/Stream.agdai
/usr/share/agda-stdlib/Codata/Musical/Colist/Infinite-merge.agda
/usr/share/agda-stdlib/Codata/Musical/Colist/Infinite-merge.agdai
/usr/share/agda-stdlib/Codata/Musical/M/Indexed.agda
/usr/share/agda-stdlib/Codata/Musical/M/Indexed.agdai
/usr/share/agda-stdlib/Codata/Stream/Bisimilarity.agda
/usr/share/agda-stdlib/Codata/Stream/Bisimilarity.agdai
/usr/share/agda-stdlib/Codata/Stream/Categorical.agda
/usr/share/agda-stdlib/Codata/Stream/Categorical.agdai
/usr/share/agda-stdlib/Codata/Stream/Properties.agda
/usr/share/agda-stdlib/Codata/Stream/Properties.agdai
/usr/share/agda-stdlib/Data/AVL.agda
/usr/share/agda-stdlib/Data/AVL.agdai
/usr/share/agda-stdlib/Data/Bin.agda
/usr/share/agda-stdlib/Data/Bin.agdai
/usr/share/agda-stdlib/Data/Bool.agda
/usr/share/agda-stdlib/Data/Bool.agdai
/usr/share/agda-stdlib/Data/BoundedVec.agda
/usr/share/agda-stdlib/Data/BoundedVec.agdai
/usr/share/agda-stdlib/Data/Char.agda
/usr/share/agda-stdlib/Data/Char.agdai
/usr/share/agda-stdlib/Data/Container.agda
/usr/share/agda-stdlib/Data/Container.agdai
/usr/share/agda-stdlib/Data/DifferenceList.agda
/usr/share/agda-stdlib/Data/DifferenceList.agdai
/usr/share/agda-stdlib/Data/DifferenceNat.agda
/usr/share/agda-stdlib/Data/DifferenceNat.agdai
/usr/share/agda-stdlib/Data/DifferenceVec.agda
/usr/share/agda-stdlib/Data/DifferenceVec.agdai
/usr/share/agda-stdlib/Data/Digit.agda
/usr/share/agda-stdlib/Data/Digit.agdai
/usr/share/agda-stdlib/Data/Empty.agda
/usr/share/agda-stdlib/Data/Empty.agdai
/usr/share/agda-stdlib/Data/Fin.agda
/usr/share/agda-stdlib/Data/Fin.agdai
/usr/share/agda-stdlib/Data/Float.agda
/usr/share/agda-stdlib/Data/Float.agdai
/usr/share/agda-stdlib/Data/Integer.agda
/usr/share/agda-stdlib/Data/Integer.agdai
/usr/share/agda-stdlib/Data/List.agda
/usr/share/agda-stdlib/Data/List.agdai
/usr/share/agda-stdlib/Data/Maybe.agda
/usr/share/agda-stdlib/Data/Maybe.agdai
/usr/share/agda-stdlib/Data/Nat.agda
/usr/share/agda-stdlib/Data/Nat.agdai
/usr/share/agda-stdlib/Data/Plus.agda
/usr/share/agda-stdlib/Data/Plus.agdai
/usr/share/agda-stdlib/Data/Product.agda
/usr/share/agda-stdlib/Data/Product.agdai
/usr/share/agda-stdlib/Data/Rational.agda
/usr/share/agda-stdlib/Data/Rational.agdai
/usr/share/agda-stdlib/Data/ReflexiveClosure.agda
/usr/share/agda-stdlib/Data/ReflexiveClosure.agdai
/usr/share/agda-stdlib/Data/Sign.agda
/usr/share/agda-stdlib/Data/Sign.agdai
/usr/share/agda-stdlib/Data/Star.agda
/usr/share/agda-stdlib/Data/Star.agdai
/usr/share/agda-stdlib/Data/String.agda
/usr/share/agda-stdlib/Data/String.agdai
/usr/share/agda-stdlib/Data/Sum.agda
/usr/share/agda-stdlib/Data/Sum.agdai
/usr/share/agda-stdlib/Data/Table.agda
/usr/share/agda-stdlib/Data/Table.agdai
/usr/share/agda-stdlib/Data/These.agda
/usr/share/agda-stdlib/Data/These.agdai
/usr/share/agda-stdlib/Data/Unit.agda
/usr/share/agda-stdlib/Data/Unit.agdai
/usr/share/agda-stdlib/Data/Vec.agda
/usr/share/agda-stdlib/Data/Vec.agdai
/usr/share/agda-stdlib/Data/W.agda
/usr/share/agda-stdlib/Data/W.agdai
/usr/share/agda-stdlib/Data/Word.agda
/usr/share/agda-stdlib/Data/Word.agdai
/usr/share/agda-stdlib/Data/AVL/Height.agda
/usr/share/agda-stdlib/Data/AVL/Height.agdai
/usr/share/agda-stdlib/Data/AVL/Indexed.agda
/usr/share/agda-stdlib/Data/AVL/Indexed.agdai
/usr/share/agda-stdlib/Data/AVL/IndexedMap.agda
/usr/share/agda-stdlib/Data/AVL/IndexedMap.agdai
/usr/share/agda-stdlib/Data/AVL/Key.agda
/usr/share/agda-stdlib/Data/AVL/Key.agdai
/usr/share/agda-stdlib/Data/AVL/Sets.agda
/usr/share/agda-stdlib/Data/AVL/Sets.agdai
/usr/share/agda-stdlib/Data/Bin/Properties.agda
/usr/share/agda-stdlib/Data/Bin/Properties.agdai
/usr/share/agda-stdlib/Data/Bool/Base.agda
/usr/share/agda-stdlib/Data/Bool/Base.agdai
/usr/share/agda-stdlib/Data/Bool/Properties.agda
/usr/share/agda-stdlib/Data/Bool/Properties.agdai
/usr/share/agda-stdlib/Data/Bool/Show.agda
/usr/share/agda-stdlib/Data/Bool/Show.agdai
/usr/share/agda-stdlib/Data/Bool/Solver.agda
/usr/share/agda-stdlib/Data/Bool/Solver.agdai
/usr/share/agda-stdlib/Data/BoundedVec/Inefficient.agda
/usr/share/agda-stdlib/Data/BoundedVec/Inefficient.agdai
/usr/share/agda-stdlib/Data/Char/Base.agda
/usr/share/agda-stdlib/Data/Char/Base.agdai
/usr/share/agda-stdlib/Data/Char/Unsafe.agda
/usr/share/agda-stdlib/Data/Char/Unsafe.agdai
/usr/share/agda-stdlib/Data/Container/Any.agda
/usr/share/agda-stdlib/Data/Container/Any.agdai
/usr/share/agda-stdlib/Data/Container/Combinator.agda
/usr/share/agda-stdlib/Data/Container/Combinator.agdai
/usr/share/agda-stdlib/Data/Container/Core.agda
/usr/share/agda-stdlib/Data/Container/Core.agdai
/usr/share/agda-stdlib/Data/Container/FreeMonad.agda
/usr/share/agda-stdlib/Data/Container/FreeMonad.agdai
/usr/share/agda-stdlib/Data/Container/Indexed.agda
/usr/share/agda-stdlib/Data/Container/Indexed.agdai
/usr/share/agda-stdlib/Data/Container/Indexed/Combinator.agda
/usr/share/agda-stdlib/Data/Container/Indexed/Combinator.agdai
/usr/share/agda-stdlib/Data/Container/Indexed/Core.agda
/usr/share/agda-stdlib/Data/Container/Indexed/Core.agdai
/usr/share/agda-stdlib/Data/Container/Indexed/FreeMonad.agda
/usr/share/agda-stdlib/Data/Container/Indexed/FreeMonad.agdai
/usr/share/agda-stdlib/Data/Empty/Irrelevant.agda
/usr/share/agda-stdlib/Data/Empty/Irrelevant.agdai
/usr/share/agda-stdlib/Data/Fin/Base.agda
/usr/share/agda-stdlib/Data/Fin/Base.agdai
/usr/share/agda-stdlib/Data/Fin/Dec.agda
/usr/share/agda-stdlib/Data/Fin/Dec.agdai
/usr/share/agda-stdlib/Data/Fin/Literals.agda
/usr/share/agda-stdlib/Data/Fin/Literals.agdai
/usr/share/agda-stdlib/Data/Fin/Permutation.agda
/usr/share/agda-stdlib/Data/Fin/Permutation.agdai
/usr/share/agda-stdlib/Data/Fin/Properties.agda
/usr/share/agda-stdlib/Data/Fin/Properties.agdai
/usr/share/agda-stdlib/Data/Fin/Subset.agda
/usr/share/agda-stdlib/Data/Fin/Subset.agdai
/usr/share/agda-stdlib/Data/Fin/Substitution.agda
/usr/share/agda-stdlib/Data/Fin/Substitution.agdai
/usr/share/agda-stdlib/Data/Fin/Permutation/Components.agda
/usr/share/agda-stdlib/Data/Fin/Permutation/Components.agdai
/usr/share/agda-stdlib/Data/Fin/Subset/Properties.agda
/usr/share/agda-stdlib/Data/Fin/Subset/Properties.agdai
/usr/share/agda-stdlib/Data/Fin/Substitution/Example.agda
/usr/share/agda-stdlib/Data/Fin/Substitution/Example.agdai
/usr/share/agda-stdlib/Data/Fin/Substitution/Lemmas.agda
/usr/share/agda-stdlib/Data/Fin/Substitution/Lemmas.agdai
/usr/share/agda-stdlib/Data/Fin/Substitution/List.agda
/usr/share/agda-stdlib/Data/Fin/Substitution/List.agdai
/usr/share/agda-stdlib/Data/Float/Unsafe.agda
/usr/share/agda-stdlib/Data/Float/Unsafe.agdai
/usr/share/agda-stdlib/Data/Graph/Acyclic.agda
/usr/share/agda-stdlib/Data/Graph/Acyclic.agdai
/usr/share/agda-stdlib/Data/Integer/Base.agda
/usr/share/agda-stdlib/Data/Integer/Base.agdai
/usr/share/agda-stdlib/Data/Integer/Divisibility.agda
/usr/share/agda-stdlib/Data/Integer/Divisibility.agdai
/usr/share/agda-stdlib/Data/Integer/Literals.agda
/usr/share/agda-stdlib/Data/Integer/Literals.agdai
/usr/share/agda-stdlib/Data/Integer/Properties.agda
/usr/share/agda-stdlib/Data/Integer/Properties.agdai
/usr/share/agda-stdlib/Data/Integer/Solver.agda
/usr/share/agda-stdlib/Data/Integer/Solver.agdai
/usr/share/agda-stdlib/Data/Integer/Addition/Properties.agda
/usr/share/agda-stdlib/Data/Integer/Addition/Properties.agdai
/usr/share/agda-stdlib/Data/Integer/Multiplication/Properties.agda
/usr/share/agda-stdlib/Data/Integer/Multiplication/Properties.agdai
/usr/share/agda-stdlib/Data/List/All.agda
/usr/share/agda-stdlib/Data/List/All.agdai
/usr/share/agda-stdlib/Data/List/Any.agda
/usr/share/agda-stdlib/Data/List/Any.agdai
/usr/share/agda-stdlib/Data/List/Base.agda
/usr/share/agda-stdlib/Data/List/Base.agdai
/usr/share/agda-stdlib/Data/List/Categorical.agda
/usr/share/agda-stdlib/Data/List/Categorical.agdai
/usr/share/agda-stdlib/Data/List/Countdown.agda
/usr/share/agda-stdlib/Data/List/Countdown.agdai
/usr/share/agda-stdlib/Data/List/Literals.agda
/usr/share/agda-stdlib/Data/List/Literals.agdai
/usr/share/agda-stdlib/Data/List/NonEmpty.agda
/usr/share/agda-stdlib/Data/List/NonEmpty.agdai
/usr/share/agda-stdlib/Data/List/Properties.agda
/usr/share/agda-stdlib/Data/List/Properties.agdai
/usr/share/agda-stdlib/Data/List/Reverse.agda
/usr/share/agda-stdlib/Data/List/Reverse.agdai
/usr/share/agda-stdlib/Data/List/Solver.agda
/usr/share/agda-stdlib/Data/List/Solver.agdai
/usr/share/agda-stdlib/Data/List/Zipper.agda
/usr/share/agda-stdlib/Data/List/Zipper.agdai
/usr/share/agda-stdlib/Data/List/All/Properties.agda
/usr/share/agda-stdlib/Data/List/All/Properties.agdai
/usr/share/agda-stdlib/Data/List/Any/Properties.agda
/usr/share/agda-stdlib/Data/List/Any/Properties.agdai
/usr/share/agda-stdlib/Data/List/Membership/DecPropositional.agda
/usr/share/agda-stdlib/Data/List/Membership/DecPropositional.agdai
/usr/share/agda-stdlib/Data/List/Membership/DecSetoid.agda
/usr/share/agda-stdlib/Data/List/Membership/DecSetoid.agdai
/usr/share/agda-stdlib/Data/List/Membership/Propositional.agda
/usr/share/agda-stdlib/Data/List/Membership/Propositional.agdai
/usr/share/agda-stdlib/Data/List/Membership/Setoid.agda
/usr/share/agda-stdlib/Data/List/Membership/Setoid.agdai
/usr/share/agda-stdlib/Data/List/Membership/Propositional/Properties.agda
/usr/share/agda-stdlib/Data/List/Membership/Propositional/Properties.agdai
/usr/share/agda-stdlib/Data/List/Membership/Propositional/Properties/Core.agda
/usr/share/agda-stdlib/Data/List/Membership/Propositional/Properties/Core.agdai
/usr/share/agda-stdlib/Data/List/Membership/Setoid/Properties.agda
/usr/share/agda-stdlib/Data/List/Membership/Setoid/Properties.agdai
/usr/share/agda-stdlib/Data/List/NonEmpty/Categorical.agda
/usr/share/agda-stdlib/Data/List/NonEmpty/Categorical.agdai
/usr/share/agda-stdlib/Data/List/NonEmpty/Properties.agda
/usr/share/agda-stdlib/Data/List/NonEmpty/Properties.agdai
/usr/share/agda-stdlib/Data/List/Relation/BagAndSetEquality.agda
/usr/share/agda-stdlib/Data/List/Relation/BagAndSetEquality.agdai
/usr/share/agda-stdlib/Data/List/Relation/Pointwise.agda
/usr/share/agda-stdlib/Data/List/Relation/Pointwise.agdai
/usr/share/agda-stdlib/Data/List/Relation/Equality/DecPropositional.agda
/usr/share/agda-stdlib/Data/List/Relation/Equality/DecPropositional.agdai
/usr/share/agda-stdlib/Data/List/Relation/Equality/DecSetoid.agda
/usr/share/agda-stdlib/Data/List/Relation/Equality/DecSetoid.agdai
/usr/share/agda-stdlib/Data/List/Relation/Equality/Propositional.agda
/usr/share/agda-stdlib/Data/List/Relation/Equality/Propositional.agdai
/usr/share/agda-stdlib/Data/List/Relation/Equality/Setoid.agda
/usr/share/agda-stdlib/Data/List/Relation/Equality/Setoid.agdai
/usr/share/agda-stdlib/Data/List/Relation/Lex/Core.agda
/usr/share/agda-stdlib/Data/List/Relation/Lex/Core.agdai
/usr/share/agda-stdlib/Data/List/Relation/Lex/NonStrict.agda
/usr/share/agda-stdlib/Data/List/Relation/Lex/NonStrict.agdai
/usr/share/agda-stdlib/Data/List/Relation/Lex/Strict.agda
/usr/share/agda-stdlib/Data/List/Relation/Lex/Strict.agdai
/usr/share/agda-stdlib/Data/List/Relation/Permutation/Inductive.agda
/usr/share/agda-stdlib/Data/List/Relation/Permutation/Inductive.agdai
/usr/share/agda-stdlib/Data/List/Relation/Permutation/Inductive/Properties.agda
/usr/share/agda-stdlib/Data/List/Relation/Permutation/Inductive/Properties.agdai
/usr/share/agda-stdlib/Data/List/Relation/Sublist/Propositional.agda
/usr/share/agda-stdlib/Data/List/Relation/Sublist/Propositional.agdai
/usr/share/agda-stdlib/Data/List/Relation/Sublist/Propositional/Properties.agda
/usr/share/agda-stdlib/Data/List/Relation/Sublist/Propositional/Properties.agdai
/usr/share/agda-stdlib/Data/List/Relation/Sublist/Propositional/Solver.agda
/usr/share/agda-stdlib/Data/List/Relation/Sublist/Propositional/Solver.agdai
/usr/share/agda-stdlib/Data/List/Relation/Subset/Propositional.agda
/usr/share/agda-stdlib/Data/List/Relation/Subset/Propositional.agdai
/usr/share/agda-stdlib/Data/List/Relation/Subset/Setoid.agda
/usr/share/agda-stdlib/Data/List/Relation/Subset/Setoid.agdai
/usr/share/agda-stdlib/Data/List/Relation/Subset/Propositional/Properties.agda
/usr/share/agda-stdlib/Data/List/Relation/Subset/Propositional/Properties.agdai
/usr/share/agda-stdlib/Data/List/Relation/Subset/Setoid/Properties.agda
/usr/share/agda-stdlib/Data/List/Relation/Subset/Setoid/Properties.agdai
/usr/share/agda-stdlib/Data/List/Zipper/Properties.agda
/usr/share/agda-stdlib/Data/List/Zipper/Properties.agdai
/usr/share/agda-stdlib/Data/Maybe/Base.agda
/usr/share/agda-stdlib/Data/Maybe/Base.agdai
/usr/share/agda-stdlib/Data/Maybe/Categorical.agda
/usr/share/agda-stdlib/Data/Maybe/Categorical.agdai
/usr/share/agda-stdlib/Data/Nat/Base.agda
/usr/share/agda-stdlib/Data/Nat/Base.agdai
/usr/share/agda-stdlib/Data/Nat/Coprimality.agda
/usr/share/agda-stdlib/Data/Nat/Coprimality.agdai
/usr/share/agda-stdlib/Data/Nat/DivMod.agda
/usr/share/agda-stdlib/Data/Nat/DivMod.agdai
/usr/share/agda-stdlib/Data/Nat/Divisibility.agda
/usr/share/agda-stdlib/Data/Nat/Divisibility.agdai
/usr/share/agda-stdlib/Data/Nat/GCD.agda
/usr/share/agda-stdlib/Data/Nat/GCD.agdai
/usr/share/agda-stdlib/Data/Nat/GeneralisedArithmetic.agda
/usr/share/agda-stdlib/Data/Nat/GeneralisedArithmetic.agdai
/usr/share/agda-stdlib/Data/Nat/InfinitelyOften.agda
/usr/share/agda-stdlib/Data/Nat/InfinitelyOften.agdai
/usr/share/agda-stdlib/Data/Nat/LCM.agda
/usr/share/agda-stdlib/Data/Nat/LCM.agdai
/usr/share/agda-stdlib/Data/Nat/Literals.agda
/usr/share/agda-stdlib/Data/Nat/Literals.agdai
/usr/share/agda-stdlib/Data/Nat/Primality.agda
/usr/share/agda-stdlib/Data/Nat/Primality.agdai
/usr/share/agda-stdlib/Data/Nat/Properties.agda
/usr/share/agda-stdlib/Data/Nat/Properties.agdai
/usr/share/agda-stdlib/Data/Nat/Show.agda
/usr/share/agda-stdlib/Data/Nat/Show.agdai
/usr/share/agda-stdlib/Data/Nat/Solver.agda
/usr/share/agda-stdlib/Data/Nat/Solver.agdai
/usr/share/agda-stdlib/Data/Nat/Unsafe.agda
/usr/share/agda-stdlib/Data/Nat/Unsafe.agdai
/usr/share/agda-stdlib/Data/Nat/DivMod/Core.agda
/usr/share/agda-stdlib/Data/Nat/DivMod/Core.agdai
/usr/share/agda-stdlib/Data/Nat/DivMod/Unsafe.agda
/usr/share/agda-stdlib/Data/Nat/DivMod/Unsafe.agdai
/usr/share/agda-stdlib/Data/Nat/GCD/Lemmas.agda
/usr/share/agda-stdlib/Data/Nat/GCD/Lemmas.agdai
/usr/share/agda-stdlib/Data/Nat/Properties/Simple.agda
/usr/share/agda-stdlib/Data/Nat/Properties/Simple.agdai
/usr/share/agda-stdlib/Data/Product/N-ary.agda
/usr/share/agda-stdlib/Data/Product/N-ary.agdai
/usr/share/agda-stdlib/Data/Product/Properties.agda
/usr/share/agda-stdlib/Data/Product/Properties.agdai
/usr/share/agda-stdlib/Data/Product/Categorical/Examples.agda
/usr/share/agda-stdlib/Data/Product/Categorical/Examples.agdai
/usr/share/agda-stdlib/Data/Product/Categorical/Left.agda
/usr/share/agda-stdlib/Data/Product/Categorical/Left.agdai
/usr/share/agda-stdlib/Data/Product/Categorical/Right.agda
/usr/share/agda-stdlib/Data/Product/Categorical/Right.agdai
/usr/share/agda-stdlib/Data/Product/Categorical/Left/Base.agda
/usr/share/agda-stdlib/Data/Product/Categorical/Left/Base.agdai
/usr/share/agda-stdlib/Data/Product/Categorical/Right/Base.agda
/usr/share/agda-stdlib/Data/Product/Categorical/Right/Base.agdai
/usr/share/agda-stdlib/Data/Product/N-ary/Categorical.agda
/usr/share/agda-stdlib/Data/Product/N-ary/Categorical.agdai
/usr/share/agda-stdlib/Data/Product/N-ary/Properties.agda
/usr/share/agda-stdlib/Data/Product/N-ary/Properties.agdai
/usr/share/agda-stdlib/Data/Product/Relation/Lex/NonStrict.agda
/usr/share/agda-stdlib/Data/Product/Relation/Lex/NonStrict.agdai
/usr/share/agda-stdlib/Data/Product/Relation/Lex/Strict.agda
/usr/share/agda-stdlib/Data/Product/Relation/Lex/Strict.agdai
/usr/share/agda-stdlib/Data/Product/Relation/Pointwise/Dependent.agda
/usr/share/agda-stdlib/Data/Product/Relation/Pointwise/Dependent.agdai
/usr/share/agda-stdlib/Data/Product/Relation/Pointwise/NonDependent.agda
/usr/share/agda-stdlib/Data/Product/Relation/Pointwise/NonDependent.agdai
/usr/share/agda-stdlib/Data/Rational/Literals.agda
/usr/share/agda-stdlib/Data/Rational/Literals.agdai
/usr/share/agda-stdlib/Data/Rational/Properties.agda
/usr/share/agda-stdlib/Data/Rational/Properties.agdai
/usr/share/agda-stdlib/Data/Sign/Properties.agda
/usr/share/agda-stdlib/Data/Sign/Properties.agdai
/usr/share/agda-stdlib/Data/Star/BoundedVec.agda
/usr/share/agda-stdlib/Data/Star/BoundedVec.agdai
/usr/share/agda-stdlib/Data/Star/Decoration.agda
/usr/share/agda-stdlib/Data/Star/Decoration.agdai
/usr/share/agda-stdlib/Data/Star/Environment.agda
/usr/share/agda-stdlib/Data/Star/Environment.agdai
/usr/share/agda-stdlib/Data/Star/Fin.agda
/usr/share/agda-stdlib/Data/Star/Fin.agdai
/usr/share/agda-stdlib/Data/Star/List.agda
/usr/share/agda-stdlib/Data/Star/List.agdai
/usr/share/agda-stdlib/Data/Star/Nat.agda
/usr/share/agda-stdlib/Data/Star/Nat.agdai
/usr/share/agda-stdlib/Data/Star/Pointer.agda
/usr/share/agda-stdlib/Data/Star/Pointer.agdai
/usr/share/agda-stdlib/Data/Star/Properties.agda
/usr/share/agda-stdlib/Data/Star/Properties.agdai
/usr/share/agda-stdlib/Data/Star/Vec.agda
/usr/share/agda-stdlib/Data/Star/Vec.agdai
/usr/share/agda-stdlib/Data/String/Base.agda
/usr/share/agda-stdlib/Data/String/Base.agdai
/usr/share/agda-stdlib/Data/String/Literals.agda
/usr/share/agda-stdlib/Data/String/Literals.agdai
/usr/share/agda-stdlib/Data/String/Unsafe.agda
/usr/share/agda-stdlib/Data/String/Unsafe.agdai
/usr/share/agda-stdlib/Data/Sum/Base.agda
/usr/share/agda-stdlib/Data/Sum/Base.agdai
/usr/share/agda-stdlib/Data/Sum/Properties.agda
/usr/share/agda-stdlib/Data/Sum/Properties.agdai
/usr/share/agda-stdlib/Data/Sum/Categorical/Examples.agda
/usr/share/agda-stdlib/Data/Sum/Categorical/Examples.agdai
/usr/share/agda-stdlib/Data/Sum/Categorical/Left.agda
/usr/share/agda-stdlib/Data/Sum/Categorical/Left.agdai
/usr/share/agda-stdlib/Data/Sum/Categorical/Right.agda
/usr/share/agda-stdlib/Data/Sum/Categorical/Right.agdai
/usr/share/agda-stdlib/Data/Sum/Relation/Core.agda
/usr/share/agda-stdlib/Data/Sum/Relation/Core.agdai
/usr/share/agda-stdlib/Data/Sum/Relation/LeftOrder.agda
/usr/share/agda-stdlib/Data/Sum/Relation/LeftOrder.agdai
/usr/share/agda-stdlib/Data/Sum/Relation/Pointwise.agda
/usr/share/agda-stdlib/Data/Sum/Relation/Pointwise.agdai
/usr/share/agda-stdlib/Data/Table/Base.agda
/usr/share/agda-stdlib/Data/Table/Base.agdai
/usr/share/agda-stdlib/Data/Table/Properties.agda
/usr/share/agda-stdlib/Data/Table/Properties.agdai
/usr/share/agda-stdlib/Data/Table/Relation/Equality.agda
/usr/share/agda-stdlib/Data/Table/Relation/Equality.agdai
/usr/share/agda-stdlib/Data/These/Categorical/Left.agda
/usr/share/agda-stdlib/Data/These/Categorical/Left.agdai
/usr/share/agda-stdlib/Data/These/Categorical/Right.agda
/usr/share/agda-stdlib/Data/These/Categorical/Right.agdai
/usr/share/agda-stdlib/Data/These/Categorical/Left/Base.agda
/usr/share/agda-stdlib/Data/These/Categorical/Left/Base.agdai
/usr/share/agda-stdlib/Data/These/Categorical/Right/Base.agda
/usr/share/agda-stdlib/Data/These/Categorical/Right/Base.agdai
/usr/share/agda-stdlib/Data/Unit/Base.agda
/usr/share/agda-stdlib/Data/Unit/Base.agdai
/usr/share/agda-stdlib/Data/Unit/NonEta.agda
/usr/share/agda-stdlib/Data/Unit/NonEta.agdai
/usr/share/agda-stdlib/Data/Vec/All.agda
/usr/share/agda-stdlib/Data/Vec/All.agdai
/usr/share/agda-stdlib/Data/Vec/Any.agda
/usr/share/agda-stdlib/Data/Vec/Any.agdai
/usr/share/agda-stdlib/Data/Vec/Categorical.agda
/usr/share/agda-stdlib/Data/Vec/Categorical.agdai
/usr/share/agda-stdlib/Data/Vec/N-ary.agda
/usr/share/agda-stdlib/Data/Vec/N-ary.agdai
/usr/share/agda-stdlib/Data/Vec/Properties.agda
/usr/share/agda-stdlib/Data/Vec/Properties.agdai
/usr/share/agda-stdlib/Data/Vec/All/Properties.agda
/usr/share/agda-stdlib/Data/Vec/All/Properties.agdai
/usr/share/agda-stdlib/Data/Vec/Membership/Propositional.agda
/usr/share/agda-stdlib/Data/Vec/Membership/Propositional.agdai
/usr/share/agda-stdlib/Data/Vec/Membership/Propositional/Properties.agda
/usr/share/agda-stdlib/Data/Vec/Membership/Propositional/Properties.agdai
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/DecPropositional.agda
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/DecPropositional.agdai
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/DecSetoid.agda
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/DecSetoid.agdai
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/Propositional.agda
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/Propositional.agdai
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/Setoid.agda
/usr/share/agda-stdlib/Data/Vec/Relation/Equality/Setoid.agdai
/usr/share/agda-stdlib/Data/Vec/Relation/Pointwise/Extensional.agda
/usr/share/agda-stdlib/Data/Vec/Relation/Pointwise/Extensional.agdai
/usr/share/agda-stdlib/Data/Vec/Relation/Pointwise/Inductive.agda
/usr/share/agda-stdlib/Data/Vec/Relation/Pointwise/Inductive.agdai
/usr/share/agda-stdlib/Data/W/Indexed.agda
/usr/share/agda-stdlib/Data/W/Indexed.agdai
/usr/share/agda-stdlib/Data/Word/Unsafe.agda
/usr/share/agda-stdlib/Data/Word/Unsafe.agdai
/usr/share/agda-stdlib/Foreign/Haskell.agda
/usr/share/agda-stdlib/Foreign/Haskell.agdai
/usr/share/agda-stdlib/Function/Bijection.agda
/usr/share/agda-stdlib/Function/Bijection.agdai
/usr/share/agda-stdlib/Function/Equality.agda
/usr/share/agda-stdlib/Function/Equality.agdai
/usr/share/agda-stdlib/Function/Equivalence.agda
/usr/share/agda-stdlib/Function/Equivalence.agdai
/usr/share/agda-stdlib/Function/Injection.agda
/usr/share/agda-stdlib/Function/Injection.agdai
/usr/share/agda-stdlib/Function/Inverse.agda
/usr/share/agda-stdlib/Function/Inverse.agdai
/usr/share/agda-stdlib/Function/LeftInverse.agda
/usr/share/agda-stdlib/Function/LeftInverse.agdai
/usr/share/agda-stdlib/Function/Reasoning.agda
/usr/share/agda-stdlib/Function/Reasoning.agdai
/usr/share/agda-stdlib/Function/Related.agda
/usr/share/agda-stdlib/Function/Related.agdai
/usr/share/agda-stdlib/Function/Surjection.agda
/usr/share/agda-stdlib/Function/Surjection.agdai
/usr/share/agda-stdlib/Function/Identity/Categorical.agda
/usr/share/agda-stdlib/Function/Identity/Categorical.agdai
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms.agda
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms.agdai
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms/Solver.agda
/usr/share/agda-stdlib/Function/Related/TypeIsomorphisms/Solver.agdai
/usr/share/agda-stdlib/IO/Primitive.agda
/usr/share/agda-stdlib/IO/Primitive.agdai
/usr/share/agda-stdlib/Induction/Lexicographic.agda
/usr/share/agda-stdlib/Induction/Lexicographic.agdai
/usr/share/agda-stdlib/Induction/Nat.agda
/usr/share/agda-stdlib/Induction/Nat.agdai
/usr/share/agda-stdlib/Induction/WellFounded.agda
/usr/share/agda-stdlib/Induction/WellFounded.agdai
/usr/share/agda-stdlib/Level/Literals.agda
/usr/share/agda-stdlib/Level/Literals.agdai
/usr/share/agda-stdlib/Relation/Binary.agda
/usr/share/agda-stdlib/Relation/Binary.agdai
/usr/share/agda-stdlib/Relation/Nullary.agda
/usr/share/agda-stdlib/Relation/Nullary.agdai
/usr/share/agda-stdlib/Relation/Unary.agda
/usr/share/agda-stdlib/Relation/Unary.agdai
/usr/share/agda-stdlib/Relation/Binary/Consequences.agda
/usr/share/agda-stdlib/Relation/Binary/Consequences.agdai
/usr/share/agda-stdlib/Relation/Binary/Core.agda
/usr/share/agda-stdlib/Relation/Binary/Core.agdai
/usr/share/agda-stdlib/Relation/Binary/EqReasoning.agda
/usr/share/agda-stdlib/Relation/Binary/EqReasoning.agdai
/usr/share/agda-stdlib/Relation/Binary/EquivalenceClosure.agda
/usr/share/agda-stdlib/Relation/Binary/EquivalenceClosure.agdai
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality.agda
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality.agdai
/usr/share/agda-stdlib/Relation/Binary/Lattice.agda
/usr/share/agda-stdlib/Relation/Binary/Lattice.agdai
/usr/share/agda-stdlib/Relation/Binary/OrderMorphism.agda
/usr/share/agda-stdlib/Relation/Binary/OrderMorphism.agdai
/usr/share/agda-stdlib/Relation/Binary/PartialOrderReasoning.agda
/usr/share/agda-stdlib/Relation/Binary/PartialOrderReasoning.agdai
/usr/share/agda-stdlib/Relation/Binary/PreorderReasoning.agda
/usr/share/agda-stdlib/Relation/Binary/PreorderReasoning.agdai
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality.agda
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality.agdai
/usr/share/agda-stdlib/Relation/Binary/Reflection.agda
/usr/share/agda-stdlib/Relation/Binary/Reflection.agdai
/usr/share/agda-stdlib/Relation/Binary/SetoidReasoning.agda
/usr/share/agda-stdlib/Relation/Binary/SetoidReasoning.agdai
/usr/share/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agda
/usr/share/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agdai
/usr/share/agda-stdlib/Relation/Binary/Sum.agda
/usr/share/agda-stdlib/Relation/Binary/Sum.agdai
/usr/share/agda-stdlib/Relation/Binary/SymmetricClosure.agda
/usr/share/agda-stdlib/Relation/Binary/SymmetricClosure.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Always.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Always.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Constant.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Constant.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Converse.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Converse.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Flip.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Flip.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/FromPred.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/FromPred.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/FromRel.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/FromRel.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Never.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Never.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/NonStrictToStrict.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/NonStrictToStrict.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/On.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/On.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/StrictToNonStrict.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/StrictToNonStrict.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Equivalence.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Equivalence.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Reflexive.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Reflexive.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Symmetric.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Symmetric.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Transitive.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/Transitive.agdai
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda
/usr/share/agda-stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Core.agda
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Core.agdai
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Quotients.agda
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Quotients.agdai
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda
/usr/share/agda-stdlib/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous.agda
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous.agdai
/usr/share/agda-stdlib/Relation/Binary/Indexed/Homogeneous.agda
/usr/share/agda-stdlib/Relation/Binary/Indexed/Homogeneous.agdai
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous/Core.agda
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous/Core.agdai
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda
/usr/share/agda-stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai
/usr/share/agda-stdlib/Relation/Binary/Indexed/Homogeneous/Core.agda
/usr/share/agda-stdlib/Relation/Binary/Indexed/Homogeneous/Core.agdai
/usr/share/agda-stdlib/Relation/Binary/List/NonStrictLex.agda
/usr/share/agda-stdlib/Relation/Binary/List/NonStrictLex.agdai
/usr/share/agda-stdlib/Relation/Binary/List/Pointwise.agda
/usr/share/agda-stdlib/Relation/Binary/List/Pointwise.agdai
/usr/share/agda-stdlib/Relation/Binary/List/StrictLex.agda
/usr/share/agda-stdlib/Relation/Binary/List/StrictLex.agdai
/usr/share/agda-stdlib/Relation/Binary/Product/NonStrictLex.agda
/usr/share/agda-stdlib/Relation/Binary/Product/NonStrictLex.agdai
/usr/share/agda-stdlib/Relation/Binary/Product/Pointwise.agda
/usr/share/agda-stdlib/Relation/Binary/Product/Pointwise.agdai
/usr/share/agda-stdlib/Relation/Binary/Product/StrictLex.agda
/usr/share/agda-stdlib/Relation/Binary/Product/StrictLex.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/BoundedJoinSemilattice.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/BoundedJoinSemilattice.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/BoundedMeetSemilattice.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/BoundedMeetSemilattice.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/DecTotalOrder.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/DecTotalOrder.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/DistributiveLattice.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/DistributiveLattice.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/HeytingAlgebra.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/HeytingAlgebra.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/JoinSemilattice.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/JoinSemilattice.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/Lattice.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/Lattice.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/MeetSemilattice.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/MeetSemilattice.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/Poset.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/Poset.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/Preorder.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/Preorder.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/StrictPartialOrder.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/StrictPartialOrder.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/StrictTotalOrder.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/StrictTotalOrder.agdai
/usr/share/agda-stdlib/Relation/Binary/Properties/TotalOrder.agda
/usr/share/agda-stdlib/Relation/Binary/Properties/TotalOrder.agdai
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/Core.agda
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/Core.agdai
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda
/usr/share/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai
/usr/share/agda-stdlib/Relation/Binary/Sigma/Pointwise.agda
/usr/share/agda-stdlib/Relation/Binary/Sigma/Pointwise.agdai
/usr/share/agda-stdlib/Relation/Binary/Vec/Pointwise.agda
/usr/share/agda-stdlib/Relation/Binary/Vec/Pointwise.agdai
/usr/share/agda-stdlib/Relation/Nullary/Decidable.agda
/usr/share/agda-stdlib/Relation/Nullary/Decidable.agdai
/usr/share/agda-stdlib/Relation/Nullary/Implication.agda
/usr/share/agda-stdlib/Relation/Nullary/Implication.agdai
/usr/share/agda-stdlib/Relation/Nullary/Negation.agda
/usr/share/agda-stdlib/Relation/Nullary/Negation.agdai
/usr/share/agda-stdlib/Relation/Nullary/Product.agda
/usr/share/agda-stdlib/Relation/Nullary/Product.agdai
/usr/share/agda-stdlib/Relation/Nullary/Sum.agda
/usr/share/agda-stdlib/Relation/Nullary/Sum.agdai
/usr/share/agda-stdlib/Relation/Nullary/Universe.agda
/usr/share/agda-stdlib/Relation/Nullary/Universe.agdai
/usr/share/agda-stdlib/Relation/Unary/Indexed.agda
/usr/share/agda-stdlib/Relation/Unary/Indexed.agdai
/usr/share/agda-stdlib/Relation/Unary/PredicateTransformer.agda
/usr/share/agda-stdlib/Relation/Unary/PredicateTransformer.agdai
/usr/share/agda-stdlib/Relation/Unary/Properties.agda
/usr/share/agda-stdlib/Relation/Unary/Properties.agdai
/usr/share/agda-stdlib/Relation/Unary/Closure/Base.agda
/usr/share/agda-stdlib/Relation/Unary/Closure/Base.agdai
/usr/share/agda-stdlib/Relation/Unary/Closure/Preorder.agda
/usr/share/agda-stdlib/Relation/Unary/Closure/Preorder.agdai
/usr/share/agda-stdlib/Relation/Unary/Closure/StrictPartialOrder.agda
/usr/share/agda-stdlib/Relation/Unary/Closure/StrictPartialOrder.agdai
/usr/share/doc/agda-stdlib/changelog.Debian.gz
/usr/share/doc/agda-stdlib/changelog.gz
/usr/share/doc/agda-stdlib/copyright

Changelog

2018-11-23 - Sean Whitton <spwhitton@spwhitton.name>
agda-stdlib (0.17-1) unstable; urgency=medium
* Team upload.
* New upstream release.
- Bump dep bounds on agda-bin & libghc-agda-dev.
Require 2.5.4.1 per upstream changelog.
Assume, at least for now, that agda-stdlib will break with 2.5.5.
* Drop spurious period from end of Standards-Version field.
* Point Vcs-* at salsa.
2017-11-26 - Gianfranco Costamagna <locutusofborg@debian.org>
agda-stdlib (0.14-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
* New upstream release (Closes: #881307)
* Bump std-version to 4.1.1, set priority to optional
[ Helmut Grohne ]
* Team upload
* Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307)
* Bump agda-bin Breaks due to agdai incompatibility.
* Tighten up agda relation ships to detect incompatibility next time.
2017-07-06 - Gianfranco Costamagna <locutusofborg@debian.org>
agda-stdlib (0.13-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
* Team upload
* New upstream release
* Bump compat level to 10
* Bump std-version to 4.0.0
[ Sean Whitton ]
* Remove myself as an uploader.
I do not expect to be able to look after this package for the buster cycle.
2016-06-23 - Helmut Grohne <helmut@subdivi.de>
agda-stdlib (0.12-2) unstable; urgency=medium
* Team upload.
* Add Breaks: agda-bin << 2.5.1: agdai files incompatible
* Switch Enhances from agda-mode to elpa-agda2-mode
* 60agda-stdlib.el: Switch to agda2-program-args as agda2-include-dirs is
deprecated
* Skip running tests when DEB_BUILD_OPTIONS contains nocheck.
2016-06-15 - Sean Whitton <spwhitton@spwhitton.name>
agda-stdlib (0.12-1) unstable; urgency=medium
* Package new upstream release.
* Bump relationships with agda to >= 2.5.1, << 2.6.0.
* Fix override_dh_auto_clean to actually delete GenerateEverything{,.hi,.o}.
* Clean target also deletes Everything.agda.
* Add myself as an uploader.
* Update Vcs-* URIs.
* Bump standards version to 3.9.8 (no changes required).
2016-01-04 - Iain Lane <laney@debian.org>
agda-stdlib (0.11-1) unstable; urgency=medium
* [22d7b46] Imported Upstream version 0.11
* [cb56887] Bump relationships with agda to ≥ 2.4.2.4
2015-05-20 - Iain Lane <laney@debian.org>
agda-stdlib (0.9-1) unstable; urgency=medium
* [b306254] Imported Upstream version 0.9
* [bb746af] Bump BDs and deps to ≥ 2.4.2.2
2014-08-12 - Iain Lane <laney@debian.org>
agda-stdlib (0.8-2) unstable; urgency=medium
* [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation
2014-08-05 - Iain Lane <laney@debian.org>
agda-stdlib (0.8-1) unstable; urgency=medium
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script
2013-05-27 - Iain Lane <laney@debian.org>
agda-stdlib (0.7-2) unstable; urgency=low
* Upload to unstable

See Also

Package Description
agda_2.5.4.1-3_all.deb dependently typed functional programming language
agedu_9723-1+b1_i386.deb Unix utility for tracking down wasted disk space
agenda.app_0.44-2+b1_i386.deb Calendar manager for GNUstep
agent-transfer_0.43-3_i386.deb copy a secret key from GnuPG's gpg-agent to OpenSSH's ssh-agent
aggregate_1.6-7+b1_i386.deb ipv4 cidr prefix aggregator
aghermann_1.1.2-2_i386.deb Sleep-research experiment manager
aglfn_1.7-3_all.deb Adobe Glyph List For New Fonts
agtl_0.8.0.3-1.1_all.deb Tool for paperless geocaching
aha_0.5-1_i386.deb ANSI color to HTML converter
ahcpd_0.53-2+b1_i386.deb Ad-Hoc Configuration Protocol
aho-corasick_0.6.9-1_i386.deb Fast multiple substring searching with finite state machines
aide-common_0.16.1-1_all.deb Advanced Intrusion Detection Environment - Common files
aide-dynamic_0.16.1-1_i386.deb Advanced Intrusion Detection Environment - dynamic binary
aide-xen_0.16.1-1_i386.deb Advanced Intrusion Detection Environment - static binary for XEN
aide_0.16.1-1_i386.deb Advanced Intrusion Detection Environment - static binary
Advertisement
Advertisement