[Agda] Inspect.

[Andrés Sicard-Ramírez]

On 29 December 2014 at 12:38, flicky frans <flickyfrans at gmail.com> wrote:

> I submitted a pull request. Hope all is ok.
>

​The pull request was OK. I merged it.
Thanks!​

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150105/dc33efa1/attachment.html