[Agda] Epic backend question: EpicInclude.e doesn't compile

[Nils Anders Danielsson]

On 2014-12-02 16:17, Hans Peter Würmli wrote:
> Trying out the Epic backend, I ran into problems already with a sample
> programme using the stdlib-0.9 when epic compiles EpicInclude.e:

 From the library's README:

   "Currently the library does not support the Epic or JavaScript
   compiler backends."

-- 
/NAD