Agda standard library v0.9

Agda standard library v0.8.1

Agda standard library, version 0.8

Merge pull request agda#17 from pepijnkokke/master

Adding `DecStrictPartialOrder` to Relation.Binary

0.7

0.6

0.5

0.4

0.3

0.2