[Agda] Re: Reflection on the Agda wiki
Andrés Sicard-Ramírez
andres.sicard.ramirez at gmail.com
Fri Feb 14 15:27:24 CET 2014
Hi Andreas,
On 14 February 2014 09:08, Andreas Abel <abela at chalmers.se> wrote:
>
> the missing definitions ("Check" etc.) are in
>
> test/succeed/Reflection.agda
>
>
Thanks!
> I tried to edit the Wiki pages just now, but somehow the second half of
> the wiki article "How to use it?" is not displayed in my edit window and I
> do not know how to reach it. Drives me quite nuts...
>
>
I haven't problems editing that page. I will fix the Wiki article later.
Best,
--
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140214/c1f0169b/attachment.html
More information about the Agda
mailing list