[Agda] Auto

[Andrés Sicard-Ramírez]

Hi Wolfgang,

On Sat, Jan 8, 2011 at 11:47 AM, Wolfgang Jeltsch <
g9ks157k at acme.softbase.org> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110108/7e2d4bb6/attachment.html