Commit 6f1416b

and

authored

Setup for v2.2 development (#2439)

* Setup for v2.2 development * Fix missing updates * Update CHANGELOG/v2.1.md Co-authored-by: G. Allais <[email protected]> --------- Co-authored-by: G. Allais <[email protected]>

1 parent d3c5037 commit 6f1416bCopy full SHA for 6f1416b

6 files changed

+847

-819

lines changed

CHANGELOG
- v2.1.md
CHANGELOG.md
CITATION.cff
agda-stdlib-utils.cabal
doc
- installation-guide.md
standard-library.agda-lib

6 files changed

+847

-819

lines changed

Comments

(0)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit 6f1416b

6 files changed

6 files changed

File tree

6 files changed

6 files changed

0 commit comments