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