Nils Anders Danielsson

``` _438 i₁ i = q i : A (problems 918, 920) _431 i₁ i = p i : A (problems 918, 920) _448 i₁ i = y : A...

> * [ ] [#4506](https://github.com/agda/agda/issues/4506): Lack of unicode support in locale may result in uncaught IOException > **needs changelog**: new option `--transliterate` @nad Do you really want to advertise this...

I just moved issue #5577 to the 2.6.3 milestone.

Should issues that are mentioned explicitly in the changelog be included in the list that is added during the release process?

> Usually we apply the label `documented-in-changelog` to them, which implies that they are not listed in the issue list. I thought that enhancements were not part of the list,...

Issue #3714 is not mentioned in the changelog.

> and that applications involving postfix operators of any precedence are treated as ambiguous What do you mean by this? The applications `f ∘' g x` and `f ∘' g`...

Agda 2.3.2.2 does not throw an internal error, but Agda 2.4.0.2 does.

``` (n : Nat) (x : P n) → f (suc n) (step n x) ≡ f n x != Box (KFun f) of type Set when checking that the...

I think the idea is to eventually deprecate `v1-install`, so I guess we should at some point make `v2-install` work.