[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