[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