Andreas Abel

- [ Makefile ] convenience goal 'quicker' for 'quicker-install-bin-no-deps' - [ cubical ] some haddockification and some cosmetics (refactor)

@UlfNorell, please have a look at this comment and update it to the current situation: https://github.com/agda/agda/blob/5d25cf8ef920310341a782b11bb51ad7462a2902/src/full/Agda/TypeChecking/Rules/Term.hs#L824-L827 - There is no more meta returned or passed to the continuation. Instead, there...

(Discussion at Agda dev meeting 2023-12-13 St. Lucia:) Traditionally, we have not respected any versioning policy (Nisse looked and this decision dates from 2009 at least). However, there are more...

Consider reverting this commit: 17d556e45f235c46ff68b88b6eaef6c821ad525f Blocked on `shelltestrunner` not building with GHC 9.6 yet: - [x] https://github.com/commercialhaskell/stackage/issues/7036 - [x] https://github.com/simonmichael/shelltestrunner/issues/33 - [ ] https://github.com/simonmichael/shelltestrunner/pull/34

Check the section application in `noMutualBlock`

7

Prompted by @knisht : ```agda {-# OPTIONS -v term:40 #-} module _ where module M (A : Set) where postulate id : A → A foo : (A : Set)...

See e.g. this CI run: https://github.com/agda/agda/actions/runs/6577500740/job/17869278492 1. 15m 40s Build Agda 2. 13m 46s Run tests for the size solver Compare this with pre #6863 run https://github.com/agda/agda/actions/runs/6510947029/job/17685706260 1. 14m 10s...

Agda 2.6.4 got colored output (great!). However, the colors are hardwired, and e.g. blue is virtually unreadable on black background, at least on macOS (Terminals might interpret ANSI colors differently):...

The distribution tarballs we link from https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary targeting the github archive contain administrative stuff like `.github`, `.gitignore` etc. I guess it would make sense to publish cleaner tarballs that only...

CHANGELOG for 1.7.3 missing on master

1

Probably this directory should also contain a `1.7.3.md`: https://github.com/agda/agda-stdlib/tree/dfd57bd3ff00e48fc5e8641e3303db624b6330f8/CHANGELOG

CI never sets AGDA_COMMIT in certain runs

3

This is the current logic to set `AGDA_COMMIT`: https://github.com/agda/agda-stdlib/blob/3a1bda24f1949c6fe0ba85d686745dcf246513a8/.github/workflows/ci-ubuntu.yml#L74-L84 This is how it pans out: https://github.com/agda/agda-stdlib/actions/runs/6688745401/job/18171228466#step:2:2 ``` if [[ 'refs/heads/gh-readonly-queue/master/pr-2185-aba7a8abd6908ad1126c4c0e3216b9c3a354ab47' == 'refs/heads/master' \ || '' == 'master' ]]; then #...