[Agda] bug in definitions using "_"?
Jesper at sikanda.be
Thu Dec 19 17:17:17 CET 2013
This is indeed fixed in the development version: see
On Thu, Dec 19, 2013 at 12:00 PM, Martin Escardo <m.escardo at cs.bham.ac.uk>wrote:
> On 19/12/13 10:37, Ulf Norell wrote:
>> It looks like this has been fixed. In the development version I get
>> yellow on all variants of the example.
> Great. Fortunately I don't use "_" often in proofs. But I worry that
> the one or two occasions in which I did may be unfillable!
> I shall try the development version.
> Agda mailing list
> Agda at lists.chalmers.se
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda