Skip to content

Tags: agda/agda-stdlib

Tags

v2.3

Toggle v2.3's commit message 
Fix .agda-lib file

v2.3-rc1

Toggle v2.3-rc1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Refactor CHANGELOG in preparation for v2.3-rc1 (#2773)

* Refactor CHANGELOG in preparation for release candidate

* Update CHANGELOG.md

Co-authored-by: jamesmckinna <31931406+jamesmckinna@users.noreply.github.com>

* Update CHANGELOG.md

Co-authored-by: jamesmckinna <31931406+jamesmckinna@users.noreply.github.com>

---------

Co-authored-by: jamesmckinna <31931406+jamesmckinna@users.noreply.github.com>

v2.2

Toggle v2.2's commit message 
Agda standard library version 2.2

v2.1.1

Toggle v2.1.1's commit message 
Agda standard library version 2.1.1

v2.1

Toggle v2.1's commit message 
Agda standard library version 2.1

v2.0

Toggle v2.0's commit message 
Agda standard library version 2.0

v1.7.3

Toggle v1.7.3's commit message 
Agda standard library version 1.7.3

v1.7.2

Toggle v1.7.2's commit message 
Agda standard library version 1.7.2

v1.7.1

Toggle v1.7.1's commit message 
Agda standard library version 1.7.1

v1.7

Toggle v1.7's commit message 
Agda standard library version 1.7