[Agda] Agda compiler backend targeting JavaScript

Nils Anders Danielsson nad at chalmers.se
Sat Jun 4 14:27:53 CEST 2011


On 2011-06-03 19:37, Alan Jeffrey wrote:
> OK, I requested a login for code.haskell.org. With a bit of luck, I
> should be able to upload patches next week.

You need to be a member of the Agda project as well; ask Ulf.

Daniel and Olle have implemented a number of optimisations as part of
the Epic backend. I think it would be good if (most of) these
optimisations could move to an intermediate phase, which could benefit
all backends (MAlonzo, Epic, JavaScript).

-- 
/NAD


More information about the Agda mailing list