[Agda] Add Agda papers to the wiki

[Nils Anders Danielsson]

Hi,

Have you written any paper that uses Agda in some way (in the text or in
an accompanying formalisation), but is not listed on the following Agda
Wiki page?

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

In that case, please list the paper. The wiki can be edited without
registration. If you don't feel like editing the wiki yourself you can
also send the information to me.

Our group in Gothenburg will soon apply for money to (among other
things) continue developing Agda, and one way to indicate that Agda is
useful to our community is to show that Agda is used to produce papers.

-- 
/NAD