[Agda] Examples of tacticts via reflection

Wouter Swierstra wss at cs.nott.ac.uk
Thu Sep 17 15:52:21 CEST 2009


> P.S. I suspect many users of Coq come to the Agda wiki to see what it
> is about. It would be great if there were a page for them, explaining
> the similarities and the differences.

I've tried to put together a few notes about the differences between  
Agda and Coq on the Agda wiki:

   http://wiki.portal.chalmers.se/agda/agda.php?n=Main.AgdaVsCoq

Hope this helps,

   Wouter



More information about the Agda mailing list