Am Samstag, den 08.01.2011, 12:42 -0500 schrieb Andrés Sicard-Ramírez:
> Hi Wolfgang,
>
> On Sat, Jan 8, 2011 at 11:47 AM, Wolfgang Jeltsch wrote:
>
> map : ∀ {A A' ℓ} → (A → A') → List A ℓ → List A' ℓ
> map f xs = {!-c!}
>
> It worked for me (on the development version of Agda) .
>
> Best,
> Andrés
Is it expected to also work with 2.2.6?
Best wishes,
Wolfgang