[Agda-dev] Re: Epic back-end support

[Ulf Norell]

I'd be ok with dropping Epic support. I don't think anyone is using it, but
maybe polling the list would be a good idea just in case. Out of curiosity
do you know what backend Idris is using instead of Epic?

/ Ulf

On Mon, Mar 30, 2015 at 9:39 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> Hi,
>
> From the comments
> https://github.com/edwinb/EpiVM/issues/7#issuecomment-57329308 and
> https://github.com/edwinb/EpiVM/pull/10#issuecomment-83029896, Epic is
> currently unmaintained.
>
> Should we continue supporting the Epic back-end? I think, we shouldn't.
>
> P.S. The Epic back-end issue
> https://code.google.com/p/agda/issues/detail?id=1472 isn't assigned to
> anyone and due to this issue the Travis build is failing.
>
> Best,
>
> --
> Andrés
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150330/389c10c7/attachment.html