← Back to branch summary

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic-proposed

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic-proposed

Viewing all changes in revision 10.

Committer: Package Import Robot
Author(s): Iain Lane
Date: 2014-08-05 09:46:46 UTC
mfrom: (1.1.6)
Revision ID: package-import@ubuntu.com-20140805094646-zqd0c4m8ndngqg6x

Tags: 0.8-1

* [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

files added:
.gitignore

README.md

README/Container

README/Container/FreeMonad.agda

publish-listings.sh

src/Algebra/Monoid-solver.agda

src/Algebra/Properties

src/Algebra/Properties/AbelianGroup.agda

src/Algebra/Properties/BooleanAlgebra

src/Algebra/Properties/BooleanAlgebra.agda

src/Algebra/Properties/BooleanAlgebra/Expression.agda

src/Algebra/Properties/DistributiveLattice.agda

src/Algebra/Properties/Group.agda

src/Algebra/Properties/Lattice.agda

src/Algebra/Properties/Ring.agda

src/Category/Applicative/Predicate.agda

src/Category/Functor

src/Category/Functor/Predicate.agda

src/Category/Monad/Predicate.agda

src/Data/Colist

src/Data/Colist/Infinite-merge.agda

src/Data/Container/FreeMonad.agda

src/Data/Container/Indexed

src/Data/Container/Indexed.agda

src/Data/Container/Indexed/Combinator.agda

src/Data/Container/Indexed/Core.agda

src/Data/Container/Indexed/FreeMonad.agda

src/Data/Fin/Properties.agda

src/Data/Fin/Subset/Properties.agda

src/Data/M

src/Data/M/Indexed.agda

src/Data/Nat/Properties

src/Data/Nat/Properties/Simple.agda

src/Data/W

src/Data/W/Indexed.agda

src/Relation/Binary/Properties

src/Relation/Binary/Properties/DecTotalOrder.agda

src/Relation/Binary/Properties/Poset.agda

src/Relation/Binary/Properties/Preorder.agda

src/Relation/Binary/Properties/StrictPartialOrder.agda

src/Relation/Binary/Properties/StrictTotalOrder.agda

src/Relation/Binary/Properties/TotalOrder.agda

src/Relation/Binary/SetoidReasoning.agda

src/Relation/Unary

src/Relation/Unary/PredicateTransformer.agda

files removed:
Everything.agda

src/Algebra/Props/BooleanAlgebra

src/Algebra/Props/BooleanAlgebra/Expression.agda

src/Level

files modified:
AllNonAsciiChars.hs

GNUmakefile

LICENCE

README.agda

README/AVL.agda

debian/changelog

debian/control

debian/rules

debian/watch

ffi/agda-lib-ffi.cabal

lib.cabal

release-notes

src/Algebra/Morphism.agda

src/Algebra/Props/AbelianGroup.agda

src/Algebra/Props/BooleanAlgebra.agda

src/Algebra/Props/DistributiveLattice.agda

src/Algebra/Props/Group.agda

src/Algebra/Props/Lattice.agda

src/Algebra/Props/Ring.agda

src/Algebra/RingSolver/AlmostCommutativeRing.agda

src/Category/Monad/Indexed.agda

src/Coinduction.agda

src/Data/AVL.agda

src/Data/AVL/IndexedMap.agda

src/Data/AVL/Sets.agda

src/Data/Bin.agda

src/Data/Bool/Properties.agda

src/Data/Char.agda

src/Data/Colist.agda

src/Data/Container/Any.agda

src/Data/Fin/Dec.agda

src/Data/Fin/Props.agda

src/Data/Fin/Subset.agda

src/Data/Fin/Subset/Props.agda

src/Data/Graph/Acyclic.agda

src/Data/Integer.agda

src/Data/Integer/Properties.agda

src/Data/List/All/Properties.agda

src/Data/List/Any/Membership.agda

src/Data/List/Any/Properties.agda

src/Data/List/NonEmpty.agda

src/Data/List/NonEmpty/Properties.agda

src/Data/List/Properties.agda

src/Data/Maybe.agda

src/Data/Nat.agda

src/Data/Nat/Coprimality.agda

src/Data/Nat/DivMod.agda

src/Data/Nat/Divisibility.agda

src/Data/Nat/Properties.agda

src/Data/Rational.agda

src/Data/Star/BoundedVec.agda

src/Data/Stream.agda

src/Data/String.agda

src/Data/Sum.agda

src/Data/Vec.agda

src/Data/Vec/Properties.agda

src/Function.agda

src/Function/Equality.agda

src/Function/Inverse.agda

src/Function/Related.agda

src/Function/Related/TypeIsomorphisms.agda

src/Induction.agda

src/Induction/Lexicographic.agda

src/Induction/Nat.agda

src/Induction/WellFounded.agda

src/Level.agda

src/Record.agda

src/Reflection.agda

src/Relation/Binary.agda

src/Relation/Binary/HeterogeneousEquality.agda

src/Relation/Binary/HeterogeneousEquality/Core.agda

src/Relation/Binary/List/Pointwise.agda

src/Relation/Binary/Product/Pointwise.agda

src/Relation/Binary/PropositionalEquality.agda

src/Relation/Binary/Props/DecTotalOrder.agda

src/Relation/Binary/Props/Poset.agda

src/Relation/Binary/Props/Preorder.agda

src/Relation/Binary/Props/StrictPartialOrder.agda

src/Relation/Binary/Props/StrictTotalOrder.agda

src/Relation/Binary/Props/TotalOrder.agda

src/Relation/Binary/StrictPartialOrderReasoning.agda

src/Relation/Binary/Sum.agda

src/Relation/Nullary/Decidable.agda

src/Relation/Nullary/Sum.agda

src/Relation/Unary.agda

src/Size.agda

Show diffs side-by-side

added added

removed removed

AllNonAsciiChars.hs

Everything.agda

README/AVL.agda

README/Container/

README/Container/FreeMonad.agda

debian/changelog

ffi/agda-lib-ffi.cabal

publish-listings.sh

src/Algebra/Monoid-solver.agda

src/Algebra/Morphism.agda

src/Algebra/Properties/

src/Algebra/Properties/AbelianGroup.agda

src/Algebra/Properties/BooleanAlgebra.agda

src/Algebra/Properties/BooleanAlgebra/

src/Algebra/Properties/BooleanAlgebra/Expression.agda

src/Algebra/Properties/DistributiveLattice.agda

src/Algebra/Properties/Group.agda

src/Algebra/Properties/Lattice.agda

src/Algebra/Properties/Ring.agda

src/Algebra/Props/AbelianGroup.agda

src/Algebra/Props/BooleanAlgebra.agda

src/Algebra/Props/BooleanAlgebra/

src/Algebra/Props/BooleanAlgebra/Expression.agda

src/Algebra/Props/DistributiveLattice.agda

src/Algebra/Props/Group.agda

src/Algebra/Props/Lattice.agda

src/Algebra/Props/Ring.agda

src/Algebra/RingSolver/AlmostCommutativeRing.agda

src/Category/Applicative/Predicate.agda

src/Category/Functor/

src/Category/Functor/Predicate.agda

src/Category/Monad/Indexed.agda

src/Category/Monad/Predicate.agda

src/Coinduction.agda

src/Data/AVL.agda

src/Data/AVL/IndexedMap.agda

src/Data/AVL/Sets.agda

src/Data/Bin.agda

src/Data/Bool/Properties.agda

src/Data/Char.agda

src/Data/Colist.agda

src/Data/Colist/

src/Data/Colist/Infinite-merge.agda

src/Data/Container/Any.agda

src/Data/Container/FreeMonad.agda

src/Data/Container/Indexed.agda

src/Data/Container/Indexed/

src/Data/Container/Indexed/Combinator.agda

src/Data/Container/Indexed/Core.agda

src/Data/Container/Indexed/FreeMonad.agda

src/Data/Fin/Dec.agda

src/Data/Fin/Properties.agda

src/Data/Fin/Props.agda

src/Data/Fin/Subset.agda

src/Data/Fin/Subset/Properties.agda

src/Data/Fin/Subset/Props.agda

src/Data/Graph/Acyclic.agda

src/Data/Integer.agda

src/Data/Integer/Properties.agda

src/Data/List/All/Properties.agda

src/Data/List/Any/Membership.agda

src/Data/List/Any/Properties.agda

src/Data/List/NonEmpty.agda

src/Data/List/NonEmpty/Properties.agda

src/Data/List/Properties.agda

src/Data/M/Indexed.agda

src/Data/Maybe.agda

src/Data/Nat.agda

src/Data/Nat/Coprimality.agda

src/Data/Nat/DivMod.agda

src/Data/Nat/Divisibility.agda

src/Data/Nat/Properties.agda

src/Data/Nat/Properties/

src/Data/Nat/Properties/Simple.agda

src/Data/Rational.agda

src/Data/Star/BoundedVec.agda

src/Data/Stream.agda

src/Data/String.agda

src/Data/Sum.agda

src/Data/Vec.agda

src/Data/Vec/Properties.agda

src/Data/W/Indexed.agda

src/Function.agda

src/Function/Equality.agda

src/Function/Inverse.agda

src/Induction.agda

src/Induction/Lexicographic.agda

src/Induction/Nat.agda

src/Induction/WellFounded.agda

src/Record.agda

src/Reflection.agda

src/Relation/Binary.agda

src/Relation/Binary/HeterogeneousEquality.agda

src/Relation/Binary/HeterogeneousEquality/Core.agda

src/Relation/Binary/List/Pointwise.agda

src/Relation/Binary/Product/Pointwise.agda

src/Relation/Binary/Properties/

src/Relation/Binary/Properties/DecTotalOrder.agda

src/Relation/Binary/Properties/Poset.agda

src/Relation/Binary/Properties/Preorder.agda

src/Relation/Binary/Properties/StrictPartialOrder.agda

src/Relation/Binary/Properties/StrictTotalOrder.agda

src/Relation/Binary/Properties/TotalOrder.agda

src/Relation/Binary/PropositionalEquality.agda

src/Relation/Binary/Props/DecTotalOrder.agda

src/Relation/Binary/Props/Poset.agda

src/Relation/Binary/Props/Preorder.agda

src/Relation/Binary/Props/StrictPartialOrder.agda

src/Relation/Binary/Props/StrictTotalOrder.agda

src/Relation/Binary/Props/TotalOrder.agda

src/Relation/Binary/SetoidReasoning.agda

src/Relation/Binary/StrictPartialOrderReasoning.agda

src/Relation/Binary/Sum.agda

src/Relation/Nullary/Decidable.agda

src/Relation/Nullary/Sum.agda

src/Relation/Unary.agda

src/Relation/Unary/

src/Relation/Unary/PredicateTransformer.agda

Older »