[Agda] Inspect.

[Andrés Sicard-Ramírez]

On 29 December 2014 at 08:59, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:

> The way to proceed here would be
>
> * check the standard library with your simplified Reveal
> * check your own projects and maybe some others you get hold of
> * submit a pull request to agda/agda-stdlib on github.
>

​In the last step, please submit your pull request using the 2.4.2.1 branch.

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