[Agda] agda syb 0.3 haskell platform 2011.2.0.1

[Nils Anders Danielsson]

On 2011-05-04 13:40, Mark Wright wrote:
> I was wondering if there are any plans to make agda build with syb
> 0.3, [...]

I've pushed a patch which makes Agda build with syb-0.3.

-- 
/NAD