[Agda] Inspect.

[flicky frans]

>The pull request was OK.
I'm glad it was ok.
>Thanks!​
No problem.

2015-01-06 4:47 GMT+03:00, Andrés Sicard-Ramírez <asr at eafit.edu.co>:
> 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
>