[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