We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Agda standard library v0.12
Agda standard library compatible with Agda 2.5.1 release candidate 2
Standard library compatible with Agda 2.5.1 release candidate 1
Agda standard library v0.11
Agda standard library v0.10
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