[Agda] Reflection on the Agda wiki

[Andreas Abel]

Hi Andres,

the missing definitions ("Check" etc.) are in

   test/succeed/Reflection.agda

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...

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Depeartment of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/