[Agda] new release

Nils Anders Danielsson nad at chalmers.se
Thu Jan 20 11:36:38 CET 2011


On 2011-01-20 10: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 ?

Perhaps next month, if we find the time.

-- 
/NAD


More information about the Agda mailing list