[Agda] Auto

[Andrés Sicard-Ramírez]

On Sun, Jan 9, 2011 at 2:21 PM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org
> wrote:

> 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?
>
>
No. The auto command was added to Agda 2.2.8

http://code.haskell.org/Agda/doc/release-notes/2-2-8.txt

(I have updated the Wiki with this information)

Best,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110109/a144bd90/attachment.html