My dev branches of agda (i.e. mostly a mirror)

caryoscelus 9c190b6ebc AMD		%!s(int64=2) %!d(string=hai) anos
.github	ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman	%!s(int64=2) %!d(string=hai) anos
.travis	9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis.	%!s(int64=3) %!d(string=hai) anos
.vscode	dfca348740 dev/vscode: Add official Haskell extension to recommended extensions	%!s(int64=4) %!d(string=hai) anos
benchmark	982e18cdcb [ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)	%!s(int64=3) %!d(string=hai) anos
cubical @ d29db7f5e6	84d1f047d2 [ workflow ] Update the cubical library for testing	%!s(int64=2) %!d(string=hai) anos
doc	7028350ce1 Fix #5773: doc: link to ICU installation instructions	%!s(int64=2) %!d(string=hai) anos
examples	3e609b7bb8 [ fix #418 ] no longer see through abstract in private+abstract type signatures	%!s(int64=3) %!d(string=hai) anos
macros	06a20b7169 [ cleaning ] Removed .cvsignore files.	%!s(int64=9) %!d(string=hai) anos
mk	3376fcd27e [ re #5500 ] `make install-bin` and similar targets add a version suffix (#5503)	%!s(int64=3) %!d(string=hai) anos
notes	1dd6cd7c86 [ fix #5473 ] give `agda.sty` a version and a date	%!s(int64=3) %!d(string=hai) anos
src	9c190b6ebc AMD	%!s(int64=2) %!d(string=hai) anos
std-lib @ 43135bc9de	25724853ec tmp	%!s(int64=2) %!d(string=hai) anos
test	a480a5bb0e [ fix #5787 ] Leave checking of modality of instance candidates to later phase	%!s(int64=2) %!d(string=hai) anos
.authorspellings	c6423f0872 correct my name	%!s(int64=5) %!d(string=hai) anos
.ghci	a309a8ac28 [ closed #4955 ] Tested with GHC 9.0.1.	%!s(int64=3) %!d(string=hai) anos
.ghci-8.0	7716754f2a [ #4521 ] Added the flag optimise-heavily to Agda.cabal.	%!s(int64=3) %!d(string=hai) anos
.ghci-8.10	47aa688349 Made "cabal repl" work.	%!s(int64=2) %!d(string=hai) anos
.ghci-8.2	49c53ecc0b [ #4242 ] Added .ghci-8.10 file.	%!s(int64=4) %!d(string=hai) anos
.ghci-8.6	59878ab981 [ closed #5298 ] Added GHC warnings to Agda.cabal.	%!s(int64=3) %!d(string=hai) anos
.ghci-8.8	59878ab981 [ closed #5298 ] Added GHC warnings to Agda.cabal.	%!s(int64=3) %!d(string=hai) anos
.ghci-9.0	3543ef3df1 [ ghc-9.0 ] enable warning compat-unqualified-imports	%!s(int64=3) %!d(string=hai) anos
.gitignore	9331dbd61c replaced biginteger.js with native BigInt	%!s(int64=3) %!d(string=hai) anos
.gitmodules	35d7405120 [ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)	%!s(int64=3) %!d(string=hai) anos
.hlint.yaml	88d5489918 [ ci ] tighten triggers; PR #5253 (src/hTags) ran unnecessary actions	%!s(int64=3) %!d(string=hai) anos
.mailmap	e81e99146a Update contributors for 2.6.2.1 (#5513)	%!s(int64=3) %!d(string=hai) anos
.travis.yml	753377b146 [ closed #5436 ] Supported GHC 8.10.5.	%!s(int64=3) %!d(string=hai) anos
Agda.cabal	edfa0ab24e [ #5731 ] Added the field metaModule to MetaId.	%!s(int64=2) %!d(string=hai) anos
CHANGELOG.md	b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas.	%!s(int64=2) %!d(string=hai) anos
HACKING.md	dc56491ca9 Made it possible to override optimise-heavily in mk/config.mk.	%!s(int64=3) %!d(string=hai) anos
Issue5789.agda	cf7ea79a8e [ fix #5789 ] Run macro for tactic argument with the proper modality	%!s(int64=2) %!d(string=hai) anos
LICENSE	2976b594a3 Update contributors for 2.6.2.1 (#5513)	%!s(int64=3) %!d(string=hai) anos
Makefile	456a0daa04 Makefile: a dedicated ghc-compiler-test goal for MALonzo/Lazy	%!s(int64=2) %!d(string=hai) anos
README.md	046f0d367a [ README ] remove travis badge	%!s(int64=3) %!d(string=hai) anos
Setup.hs	7f62bcb450 Force interface regeneration using --ignore-all-interfaces.	%!s(int64=4) %!d(string=hai) anos
cabal.project.tc	0b71569945 Re #4216 #4883: New goal `make v2-type-check` using `cabal v2-build`	%!s(int64=2) %!d(string=hai) anos
fix-whitespace.yaml	8d75579c41 [ #5740, #4506 ] Optimised (?) readTextFile.	%!s(int64=2) %!d(string=hai) anos
flake.lock	4dee747be7 Add Nix flake to allow Nix users to install from git.	%!s(int64=3) %!d(string=hai) anos
flake.nix	4dee747be7 Add Nix flake to allow Nix users to install from git.	%!s(int64=3) %!d(string=hai) anos
hie.yaml	544178be57 dev: Add hie.yaml for Haskell IDE Engine discovery	%!s(int64=4) %!d(string=hai) anos
release.sh	94df120028 Release script.	%!s(int64=10) %!d(string=hai) anos
stack-8.0.2.yaml	738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.	%!s(int64=3) %!d(string=hai) anos
stack-8.10.7.yaml	f204975956 [ stackage ] Bump stackage LTS versions	%!s(int64=2) %!d(string=hai) anos
stack-8.2.2.yaml	738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.	%!s(int64=3) %!d(string=hai) anos
stack-8.4.4.yaml	738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.	%!s(int64=3) %!d(string=hai) anos
stack-8.6.5.yaml	738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.	%!s(int64=3) %!d(string=hai) anos
stack-8.8.4.yaml	738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.	%!s(int64=3) %!d(string=hai) anos
stack-9.0.1.yaml	4c6d582c9a Fix #5768: CI/Windows: use text-icu-0.8.0 with latest ICU	%!s(int64=2) %!d(string=hai) anos
stack-9.0.2.yaml	f204975956 [ stackage ] Bump stackage LTS versions	%!s(int64=2) %!d(string=hai) anos
stack-9.2.1.yaml	1d92bc04bf [ #5442 ] Agda.cabal: tested with 9.2.1	%!s(int64=3) %!d(string=hai) anos
touchup.sh	32664c045f Refactoring guided by hlint (#4479)	%!s(int64=4) %!d(string=hai) anos

Agda 2

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

README.md

Agda 2

Documentation

Getting Started

Contributing to Agda