[Agda] Poll: Remove the Epic back-end

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Mar 30 17:37:31 CEST 2015

Previous message: [Agda] type check performance
Next message: [Agda] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

At the moment, Epic (http://hackage.haskell.org/package/epic) and the
Epic back-end are unmaintained. We might consider to remove the Epic
back-end.

If you are using the Epic back-end, please reply this message.

Best,

-- 
Andrés

Previous message: [Agda] type check performance
Next message: [Agda] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list