[Agda] Inspect.

Aaron Stump aaron-stump at uiowa.edu
Mon Dec 29 15:57:58 CET 2014


I'd like to ask a related (I hope) question: what is the paradigmatic 
simple example where inspect fails, but inspect on steroids succeeds?

Thanks,
Aaron

On 12/29/2014 08:25 AM, Andrés Sicard-Ramírez wrote:
>
> On 29 December 2014 at 08:59, Andreas Abel <andreas.abel at ifi.lmu.de 
> <mailto: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
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141229/213abd11/attachment.html


More information about the Agda mailing list