Starting with inventory: 0000026699-d6c10fbb70f9a32405ef1d50774630189ab2af63f406f1453b2755e8b6b2ebf6 [TAG 0.6 Nils Anders Danielsson **20111227194340 Ignore-this: 2a7b42ee6c56ee2a9bfb81a1ae05ad5f ] hash: 0000018616-525c0dfcd01bec86d54aa63b7df4fdf36b73d715f8d0f1e10fe3a33eaf485d0d [Removed release-specific information. Nils Anders Danielsson **20111227195401 Ignore-this: ec5d8cd6e014686e902bcbc168466316 ] hash: 0000000612-5ccd539b418a58322390dc7b3ce1e3c53452dfe2c7db62e3725cb1da0a0bcfd5 [Modified the version ranges of some dependencies. Nils Anders Danielsson **20120103205601 Ignore-this: 9aef21de942688c7a268d35c78715538 ] hash: 0000000497-518a98d5243d1a5b7d666ff493055cbe170d6bf78808be47f3f9c1ac9c5a8bda [Inlined some helper functions. Nils Anders Danielsson **20120127132635 Ignore-this: f636ab597e504978033629ef1d9f47fe ] hash: 0000001969-fb0aa6e39b7df57cc67779e09f2c9e460136a53f594fac1883c7d1e513afcc08 [Cosmetic change. Nils Anders Danielsson **20120127132700 Ignore-this: 490f9fef88952773222104bbf6672f83 ] hash: 0000000287-a6b8b09f3be12d8e261d21acffffbedfe9bf88a89980340bc796b3c6ca8dee5a [Added readFiniteFile. Nils Anders Danielsson **20120218111803 Ignore-this: a14d41344042cf41a5438af1f9a111a3 ] hash: 0000003702-1f232b4196ae58dc044bac056e391ff1ac352bbcd6927ffc56160794272e6ebc [Updated the copyright year range. Nils Anders Danielsson **20120225110204 Ignore-this: 1caec758d1560c6f13c613d77fff6f39 ] hash: 0000000318-2b668fb42b9006392da923207564d2f43798169f67f359bcebab04d7b56b3d7d [Added postulated, partly computing quotients. Nils Anders Danielsson **20120225110453 Ignore-this: dd2535cbffd5dfd4140fb004529e7886 + Implemented by Thorsten Altenkirch, James Chapman and myself. ] hash: 0000006473-6ed66f3fb0c2eaec33337f218eb8fb5172a1e22073bd904e3ea2e4a5ca478744 [Added _≡⟨_⟩_. Nils Anders Danielsson **20120225212140 Ignore-this: a22270b495981c2de38fed71532453a6 ] hash: 0000004991-40ad219ffb38ba7b71aa57ab4d986eb640f9065dbe647e46397b2fd9ff05a894 [Added idempotent. Nils Anders Danielsson **20120306141152 Ignore-this: 25563e42aae9e0dde988bfde2721eb5c ] hash: 0000001346-1d8b3472265929b9815eb59658e7d525d45b0c0d79b76b6c12f947a9a1e06e9b [Added _⇓. Nils Anders Danielsson **20120308131926 Ignore-this: 94c881424a838498d14d27b142b05fe9 ] hash: 0000000299-680eeffe98a86313cc536f72d2096a7039ba01f81b70ef432f26fec2f726f26c [Added Category.Monad.Partiality.All. Nils Anders Danielsson **20120312105757 Ignore-this: 76cd481222bc410f2fb60270d86c14ed ] hash: 0000006900-9dcc8f763df78c61943682606d8cb4178f818fea3b8e26704b0abbb1160863b6 [Added type signature to comply with new occurs check (issue 585). Andreas Abel **20120313164937 Ignore-this: 4f31b727f23d550a3f44a2040fff5449 ] hash: 0000000365-35db817b44988081432c1839eaf251b41f8ed1e9cae7438f8329258dcd4489ef [Added the irrelevance axiom. Nils Anders Danielsson **20120417083117 Ignore-this: a68d5d3274638dd650162685450bb04f ] hash: 0000000867-138e76395f4603484c8be50e0a2caab423e250bc03ea35872d4a228a927760d6