[Agda] new release

[Conor McBride]

Hi

On 20 Jan 2011, at 09:53, Permjacov Evgeniy wrote:

> Agda library does not compile with ghc-7.0.1 .  The problem looks  
> fixed
> in darcs, so when new release, compatible with ghc-7.0.1 will be  
> avaible ?

In a situation where development happens largely on a spare-time basis,
it's entirely possible that nobody knows the answer to that question.

All the best

Conor