Starting with inventory: 0000019539-b9e82ce3cfcac8c83d406f8b739f76177369ad2d02d3d734b4318e581f344919 [TAG 0.7 Nils Anders Danielsson **20130129162215 Ignore-this: 279d0b14ba997458df89073da57ce50 ] hash: 0000013259-2ab5dac9dc343ab4ca7071585f023ed3c0a2a0d72178539f232ac80ef0d626ca [Removed release-specific information. Nils Anders Danielsson **20130129162230 Ignore-this: f960b19320bf282bdc03b1b8e3d561b0 ] hash: 0000000612-6b1cd3a39c21a0124c659dab9a27d3736f270d0428e923006ec4d2d66610e903 [Factorize Arg. Guilhem Moulin **20121116204148 Ignore-this: e4c5a0d7cf3a50c97826f4c7cf734140 ] hash: 0000002488-0cd249fad06532c508af3b3f8d01cf44ead67df6cbb81569f94c014ac6efae78 [Included Guilhem Moulin in the list of contributors. Nils Anders Danielsson **20130220104515 Ignore-this: cd79a3214fe4b4d41ce47881dae5d98 ] hash: 0000000504-5c5448257a124db65abd7ad3d2d3f4cb0c9ef5f3b8e7f9ce7ba6214bfed0cd6d [Renamed ArgInfo/arginfo to Arg-info/arg-info. Nils Anders Danielsson **20130220120912 Ignore-this: c7dad0d4e2d9ed4df5a7f9e13b442 ] hash: 0000002281-c7f43776cfbd7a7fd274712ac47fcef59c27caf416f22e4d478b05b5ec3817af [Added decToMaybe. Nils Anders Danielsson **20130222171834 Ignore-this: f1cd1b105af163a8c5b6e8da4ec6af44 ] hash: 0000000409-faab2ddce6de1e0776dc82eb0704d55a74730538ecd19674a91dfdb082b3111c [Added Data.Maybe.map. Nils Anders Danielsson **20130225095411 Ignore-this: c9a389f7f021a8190cfa3e21a50ea3aa ] hash: 0000002169-ef230a373f54fdf205872baa9299d06274efd9a31f6fc4e49556e1460b667eac [Added Algebra.Monoid-solver. Nils Anders Danielsson **20130225105203 Ignore-this: f232c003a2bbd1927c8e75e697eae5e5 ] hash: 0000005714-516b625f6f6438b876dc63910b7dde7409e30dc5aecf25d9622aa49560dd0994 [Added fixity declarations for _¬-⊎_ and _⊎-dec_. Nils Anders Danielsson **20130225160336 Ignore-this: 5b5bbdcb25d8a7f58e211719df537d7c ] hash: 0000000248-e8ac2eebd914c01d626994e4ff9d836ef074da60d76bff35b0c7770c68215c1c [Added T-not-≡. Nils Anders Danielsson **20130301094556 Ignore-this: 809f65054fd98067498249d1b53c5ff2 ] hash: 0000000345-fecea593dfe0141b628fa2ad11c35a9a50a7aaa0a831fc225bc4aff27d01ddd4 [Added split and wordsBy. Nils Anders Danielsson **20130301101819 Ignore-this: 3f0ddbe73af6ad6ef963cbd3b5362e57 ] hash: 0000004370-05354a9cb4644de849a62b71b6027d0ae50ba85735688a338a15b71616eaa777 [Added length-replicate. Nils Anders Danielsson **20130304133916 Ignore-this: 45a1bb4feec59bc27c48e19b009cb9cc ] hash: 0000000386-342d55b47ea304ff18f7f2d7ca3c9fa42fe230192fb3f9019599fbb045d2c124 [Made _⊛_ less "strict", as suggested by Patrick Palka. Nils Anders Danielsson **20130304184208 Ignore-this: 374079025b60c6f877c4db0c86d56b4c + See http://code.google.com/p/agda/issues/detail?id=673. ] hash: 0000000323-206d856d3288e6df2f275410c45495aa9da4579705a60df1f65fef058bf0ed8f [Defined Any and All using recursion, generalised their types. Nils Anders Danielsson **20130306114412 Ignore-this: 461ba6cc52988357b07f9b474729ab23 ] hash: 0000002167-5c59afe3e68c7637377ebdba64c795f65c8abdaf1511230deeea4d73cb353f24 [Added toWitness. Nils Anders Danielsson **20130306121234 Ignore-this: b487512ba93fb09ad03db1b490d9a4c1 ] hash: 0000000303-5d8b146000913336c8e5102fdbb12dd740fc1c62b92ccb79afa661c3f7d4d343 [Non-empty lists are now represented by an element plus a regular list. Nils Anders Danielsson **20130306233137 Ignore-this: 1a504fd07418c43ffb194dc8dc9f4e5c ] hash: 0000011985-7e0f03f4f806d01b4d53fccad7e8e84330254ca597a2bf27d72897d157f8d8a2 [Changed the fixities of _∷ʳ_ and _⁺∷ʳ_. Nils Anders Danielsson **20130306233215 Ignore-this: 493c7b735ea43f59ecbcf96ee97419ed ] hash: 0000000268-a2d39a77003546010cbd5fd69c09cb8046599b07f7fc23478b7ac01d0194c518 [Added ∈-tabulate and ∈-allFin. Nils Anders Danielsson **20130308183949 Ignore-this: c36e088ad4f2c575134a4829b38bf307 ] hash: 0000000540-73949314d3826f02a16e27f71231fab8fa77ac9cd81cc6a3e170cc0620c0abfb [Added ∈⇒List-∈ and List-∈⇒∈. Nils Anders Danielsson **20130308184004 Ignore-this: daff0f39f26f91abac04f3bb261cb328 ] hash: 0000000860-e23080f6ec75cab65496631b2e293075ecca7ddf4a11846f7391540316a1ba2d [Added map-Decidable. Nils Anders Danielsson **20130308193926 Ignore-this: ab21edd839d9b082d7ba0988b936e23e ] hash: 0000004074-66d4bd22234606b68843d6f8b457044303ab6fdbe59cce3e782441ea4d566dd3 [Removed map-Decidable. Nils Anders Danielsson **20130308215557 Ignore-this: d1a4b20bed5fcc8d1b637c46d319b90b ] hash: 0000004077-709d6241449c7dd80e2ef9204c17ceb7049c6cf7a312f47dac2133e2876a0ed0 [Replaced length_-1 with length. Nils Anders Danielsson **20130309190315 Ignore-this: bc2639fc3bb47820e79ca303dc0b4a1a ] hash: 0000000562-0d10abe0e6e8e092d384062c1098df9be054682687860a37e608d63f13dea590 [Added True↔. Nils Anders Danielsson **20130312170441 Ignore-this: 6a1164d6ce6696fbdc006993d31e0cac ] hash: 0000001061-1ee276bc508d66b73dc75fb6cffcb56c2cc2ba21b4b87349ed3edab1f10cc6a4 [Changed the definitions of Data.Char._==_ and Data.String._==_. Nils Anders Danielsson **20130322194110 Ignore-this: 170812374abd7f3e69349b1e56ba87f4 ] hash: 0000002156-ce1370e0c554bb6401c85f4b5c4885e6e1fca7b6fd9fefb805b06f67d240637a [DecTotalOrder for Data.Rational Noriyuki OHKAWA **20130412165805 Ignore-this: c279af5e3405e2b0cc53c15054c29382 ] hash: 0000007443-fa7c21843c20ec38c83200b06e7cc117017410338deff8d02276aeed5011b3ca [Renamed p≤q to *≤*. Cosmetic changes. Nils Anders Danielsson **20130417120225 Ignore-this: 4b6805587d4d3c260a976a6e097ea271 ] hash: 0000008344-7a416a514041d13a65618e79ec2df0a21dc8a4b7a06d0b4f5051bff24be4e984 [Included Noriyuki OHKAWA in the list of contributors. Nils Anders Danielsson **20130417120416 Ignore-this: 6d0285bdd38946ad4f91cba91ca64b07 ] hash: 0000000576-52dd80b41c84ea0a53415b5754f7eeda963d61fcdebbc09d1d4637c9777af887