tag to match Agda v2.8.0 and agda-stdlib v2.3

Merge pull request #406 from agda/bump-stdlib-2.0

Bump stdlib to 2.0

Merge pull request #372 from jpoiret/update-agda-stdlib

Bump Agda to 2.6.3 and stdlib to 1.7.2

Merge pull request #322 from iblech/patch-2

Update to standard-library 1.7.1

Merge pull request #293 from turion/patch-1

Update README.md to reflect current versions

Merge pull request #288 from Akshobhya1234/master

Version compatible to stdlib 1.7 and agda 2.6.2

Merge pull request #266 from iblech/patch-1

Update to standard-library 1.6

Merge pull request #240 from TOTBWF/monadicity

Crude Monadicity Theorem

Merge pull request #214 from conal/SingletonSet-LevelPolymorphic

Use Data.Unit.Polymorphic instead, and drop explicit liftings

Merge pull request #207 from turion/releasev0.1.4

Make compatible with standard library version 1.4