Re: merge wip-haskell?

[John Soo]

On another note:

Does anyone know why idris, agda, and purescript are failing?

I have only been able to do very little recently to look at them.

- John