[Agda] Auto

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Sun Jan 9 20:21:24 CET 2011


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



More information about the Agda mailing list