← 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 9.

Committer: Package Import Robot
Author(s): Iain Lane
Date: 2013-05-27 19:29:25 UTC
mfrom: (8.1.1 experimental)
Revision ID: package-import@ubuntu.com-20130527192925-q2tadfousmn0xeav

Tags: 0.7-2

Upload to unstable

files added:
.pc

.pc/.quilt_patches

.pc/.quilt_series

.pc/.version

.pc/applied-patches

src/Algebra/RingSolver/Natural-coefficients.agda

src/Category/Monad/Partiality

src/Category/Monad/Partiality/All.agda

src/Data/M.agda

src/Irrelevance.agda

src/Relation/Nullary/Implication.agda

files modified:
Everything.agda

LICENCE

README.agda

README/AVL.agda

debian/agda-stdlib.install *

debian/changelog

debian/control

ffi/IO/FFI.hs

ffi/agda-lib-ffi.cabal

lib.cabal

release-notes

src/Algebra/Operations.agda

src/Algebra/RingSolver.agda

src/Algebra/RingSolver/AlmostCommutativeRing.agda

src/Algebra/RingSolver/Lemmas.agda

src/Algebra/RingSolver/Simple.agda

src/Category/Monad/Partiality.agda

src/Data/AVL.agda

src/Data/AVL/IndexedMap.agda

src/Data/Bin.agda

src/Data/Bool/Properties.agda

src/Data/BoundedVec.agda

src/Data/Container.agda

src/Data/Digit.agda

src/Data/Fin/Dec.agda

src/Data/Fin/Props.agda

src/Data/Integer/Properties.agda

src/Data/List.agda

src/Data/List/Countdown.agda

src/Data/List/Properties.agda

src/Data/Nat/Coprimality.agda

src/Data/Nat/DivMod.agda

src/Data/Nat/Divisibility.agda

src/Data/Nat/Properties.agda

src/Data/Nat/Show.agda

src/Data/Product.agda

src/Data/Vec.agda

src/Data/Vec/Equality.agda

src/Data/Vec/Properties.agda

src/Function.agda

src/Function/Bijection.agda

src/Function/Inverse.agda

src/Function/LeftInverse.agda

src/Function/Related/TypeIsomorphisms.agda

src/Function/Surjection.agda

src/IO.agda

src/IO/Primitive.agda

src/Induction/Lexicographic.agda

src/Induction/Nat.agda

src/Record.agda

src/Relation/Binary/EqReasoning.agda

src/Relation/Binary/HeterogeneousEquality.agda

src/Relation/Binary/List/NonStrictLex.agda

src/Relation/Binary/List/Pointwise.agda

src/Relation/Binary/List/StrictLex.agda

src/Relation/Binary/On.agda

src/Relation/Binary/PreorderReasoning.agda

src/Relation/Binary/Product/NonStrictLex.agda

src/Relation/Binary/Product/Pointwise.agda

src/Relation/Binary/Product/StrictLex.agda

src/Relation/Binary/PropositionalEquality.agda

src/Relation/Binary/Sigma/Pointwise.agda

src/Relation/Binary/Sum.agda

src/Relation/Binary/Vec/Pointwise.agda

src/Relation/Nullary/Decidable.agda

src/Relation/Nullary/Negation.agda

src/Relation/Unary.agda

Show diffs side-by-side

added added

removed removed

.pc/.quilt_patches

.pc/.quilt_series

.pc/applied-patches

Everything.agda

README/AVL.agda

debian/changelog

ffi/agda-lib-ffi.cabal

src/Algebra/Operations.agda

src/Algebra/RingSolver.agda

src/Algebra/RingSolver/AlmostCommutativeRing.agda

src/Algebra/RingSolver/Lemmas.agda

src/Algebra/RingSolver/Natural-coefficients.agda

src/Algebra/RingSolver/Simple.agda

src/Category/Monad/Partiality.agda

src/Category/Monad/Partiality/

src/Category/Monad/Partiality/All.agda

src/Data/AVL.agda

src/Data/AVL/IndexedMap.agda

src/Data/Bin.agda

src/Data/Bool/Properties.agda

src/Data/BoundedVec.agda

src/Data/Container.agda

src/Data/Digit.agda

src/Data/Fin/Dec.agda

src/Data/Fin/Props.agda

src/Data/Integer/Properties.agda

src/Data/List.agda

src/Data/List/Countdown.agda

src/Data/List/Properties.agda

src/Data/M.agda

src/Data/Nat/Coprimality.agda

src/Data/Nat/DivMod.agda

src/Data/Nat/Divisibility.agda

src/Data/Nat/Properties.agda

src/Data/Nat/Show.agda

src/Data/Product.agda

src/Data/Vec.agda

src/Data/Vec/Equality.agda

src/Data/Vec/Properties.agda

src/Function.agda

src/Function/Bijection.agda

src/Function/Inverse.agda

src/Function/LeftInverse.agda

src/Function/Surjection.agda

src/IO/Primitive.agda

src/Induction/Lexicographic.agda

src/Induction/Nat.agda

src/Irrelevance.agda

src/Record.agda

src/Relation/Binary/EqReasoning.agda

src/Relation/Binary/HeterogeneousEquality.agda

src/Relation/Binary/List/NonStrictLex.agda

src/Relation/Binary/List/Pointwise.agda

src/Relation/Binary/List/StrictLex.agda

src/Relation/Binary/On.agda

src/Relation/Binary/PreorderReasoning.agda

src/Relation/Binary/Product/NonStrictLex.agda

src/Relation/Binary/Product/Pointwise.agda

src/Relation/Binary/Product/StrictLex.agda

src/Relation/Binary/PropositionalEquality.agda

src/Relation/Binary/Sigma/Pointwise.agda

src/Relation/Binary/Sum.agda

src/Relation/Binary/Vec/Pointwise.agda

src/Relation/Nullary/Decidable.agda

src/Relation/Nullary/Implication.agda

src/Relation/Nullary/Negation.agda

src/Relation/Unary.agda

Older »